Sciweavers

ASPDAC
2001
ACM
107views Hardware» more  ASPDAC 2001»
13 years 8 months 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»
13 years 8 months ago
Hierarchical dummy fill for process uniformity
Yu Chen, Andrew B. Kahng, Gabriel Robins, Alexande...