Sciweavers

ICCAD
1996
IEEE
73views Hardware» more  ICCAD 1996»
14 years 21 days ago
Using complete-1-distinguishability for FSM equivalence checking
Pranav Ashar, Aarti Gupta, Sharad Malik
ICCAD
1996
IEEE
76views Hardware» more  ICCAD 1996»
14 years 21 days ago
Directional bias and non-uniformity in FPGA global routing architectures
This paper investigates the effect of the prefabricated routing track distribution on the area-efficiency of FPGAs. The first question we address is whether horizontal and vertica...
Vaughn Betz, Jonathan Rose
ICCAD
1996
IEEE
86views Hardware» more  ICCAD 1996»
14 years 21 days ago
Polarized observability don't cares
A new method is presented to compute the exact observability don't cares (ODC) for multilevel combinational circuits. A new mathematical concept, called polarization, is intr...
Harm Arts, Michel R. C. M. Berkelaar, C. A. J. van...