ICCAD
1996
IEEE
14 years 2 months 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 2 months 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 2 months ago
1997
Springer
CAV
1997
Springer
14 years 2 months ago
1997
Springer
CAV
1997
Springer
14 years 2 months 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 2 months ago
1997
Springer
CAV
1997
Springer
14 years 2 months ago
1997
Springer
CAV
1997
Springer
14 years 2 months ago
1997
Springer
CAV
1997
Springer
14 years 2 months ago
1997
Springer
ECBS
1996
IEEE
14 years 2 months 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...