Functional Verification for SystemC Descriptions Using Constraint Solving.

Fabrizio Ferrandi, Michele Rendine, Donatella Sciuto

Browse the full DATE paper archive.