Sciweavers

563 search results - page 2 / 113
» constraints 2002
Sort
View
ICCAD
2002
IEEE
71views Hardware» more  ICCAD 2002»
14 years 3 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»
13 years 11 months ago
Functional Verification for SystemC Descriptions Using Constraint Solving
Fabrizio Ferrandi, Michele Rendine, Donatella Sciu...
DEXAW
2002
IEEE
126views Database» more  DEXAW 2002»
13 years 11 months ago
Building a Reliable e-Voting System: Functional Requirements and Legal Constraints
Costas Lambrinoudakis, Dimitris Gritzalis, Sokrati...