Sciweavers

DATE
2002
IEEE

Functional Verification for SystemC Descriptions Using Constraint Solving

14 years 5 months ago
Functional Verification for SystemC Descriptions Using Constraint Solving
Fabrizio Ferrandi, Michele Rendine, Donatella Sciu
Added 14 Jul 2010
Updated 14 Jul 2010
Type Conference
Year 2002
Where DATE
Authors Fabrizio Ferrandi, Michele Rendine, Donatella Sciuto
Comments (0)