Sciweavers

563 search results - page 2 / 113
» constraints 2002
Sort
View
ICCAD
2002
IEEE
71views Hardware» more  ICCAD 2002»
15 years 6 months ago
Timing-driven placement using design hierarchy guided constraint generation
Xiaojian Yang, Bo-Kyung Choi, Majid Sarrafzadeh
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...
DEXAW
2002
IEEE
126views Database» more  DEXAW 2002»
15 years 2 months ago
Building a Reliable e-Voting System: Functional Requirements and Legal Constraints
Costas Lambrinoudakis, Dimitris Gritzalis, Sokrati...