Sciweavers

96 search results - page 2 / 20
» iccad 2003
Sort
View
ICCAD
2003
IEEE
122views Hardware» more  ICCAD 2003»
15 years 6 months ago
Efficient Generation of Monitor Circuits for GSTE Assertion Graphs
Alan J. Hu, Jeremy Casas, Jin Yang
ICCAD
2003
IEEE
97views Hardware» more  ICCAD 2003»
15 years 2 months ago
Iterative Abstraction using SAT-based BMC with Proof Analysis
Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav ...
ICCAD
2003
IEEE
152views Hardware» more  ICCAD 2003»
15 years 2 months ago
An Algorithmic Approach for Generic Parallel Adders
Jianhua Liu, Shuo Zhou, Haikun Zhu, Chung-Kuan Che...
ICCAD
2003
IEEE
130views Hardware» more  ICCAD 2003»
15 years 6 months ago
Analog Macromodeling using Kernel Methods
Joel R. Phillips, João Afonso, Arlindo L. O...
ICCAD
2003
IEEE
115views Hardware» more  ICCAD 2003»
15 years 6 months ago
SOI Transistor Model for Fast Transient Simulation
D. Nadezhin, Sergey Gavrilov, Alexey Glebov, Y. Eg...