ICCAD
1996
IEEE
14 years 27 days ago
1996
IEEE
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...
ICCAD
1996
IEEE
14 years 27 days ago
1996
IEEE
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...
CAV
1997
Springer
14 years 27 days ago
1997
Springer
CAV
1997
Springer
14 years 27 days ago
1997
Springer
CAV
1997
Springer
14 years 27 days ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
CAV
1997
Springer
14 years 27 days ago
1997
Springer
CAV
1997
Springer
14 years 27 days ago
1997
Springer
CAV
1997
Springer
14 years 27 days ago
1997
Springer
CAV
1997
Springer
14 years 27 days ago
1997
Springer
ECBS
1996
IEEE
14 years 28 days ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...