ByNobleID
    A methodology for verifying memory access protocols in behavioral synthesis | NobleID