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

Nicola Bombieri Andrea Fedeli Franco Fummi Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling. 239-240 2005 conf/memocode/2005 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2005.1487922 db/conf/memocode/memocode2005.html#BombieriFF05