Sciweavers

ASPDAC
2001
ACM
107views Hardware» more  ASPDAC 2001»
15 years 16 days ago
An efficient solution to the storage correspondence problem for large sequential circuits
Abstract- Traditional state-traversal-basedmethods for verifying sequential circuits are computationally infeasible for circuits with a large number of memory elements. However, if...
Wanlin Cao, D. M. H. Walker, Rajarshi Mukherjee
ASPDAC
2001
ACM
90views Hardware» more  ASPDAC 2001»
15 years 16 days ago
Hierarchical dummy fill for process uniformity
Yu Chen, Andrew B. Kahng, Gabriel Robins, Alexande...