Sciweavers

63 search results - page 1 / 13
» iccad 2001
Sort
View
107
Voted
ICCAD
2001
IEEE
100views Hardware» more  ICCAD 2001»
15 years 11 months ago
Verification of Integer Multipliers on the Arithmetic Bit Level
Dominik Stoffel, Wolfgang Kunz
ICCAD
2001
IEEE
80views Hardware» more  ICCAD 2001»
15 years 11 months ago
Efficient Performance Estimation for General Real-Time Task Systems
Hongchao (Stephanie) Liu, Xiaobo Hu
ICCAD
2001
IEEE
102views Hardware» more  ICCAD 2001»
15 years 11 months ago
Symbolic Algebra and Timing Driven Data-flow Synthesis
Armita Peymandoust, Giovanni De Micheli
ICCAD
2001
IEEE
109views Hardware» more  ICCAD 2001»
15 years 11 months ago
Power-Delay Modeling of Dynamic CMOS Gates for Circuit Optimization
José Luis Rosselló, Jaume Segura