Sciweavers

ICCAD
1996
IEEE
73views Hardware» more  ICCAD 1996»
14 years 3 months 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 3 months 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 3 months 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...