Sciweavers

6456 search results - page 34 / 1292
» Constraint Solving on Terms
Sort
View
DATE
2002
IEEE
105views Hardware» more  DATE 2002»
15 years 2 months ago
Functional Verification for SystemC Descriptions Using Constraint Solving
Fabrizio Ferrandi, Michele Rendine, Donatella Sciu...