Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling.

Nicola Bombieri, Andrea Fedeli, Franco Fummi

Browse the full MEMOCODE paper archive.