2607 search results - page 46 / 522 » Complete Functional Synthesis |
130
Voted
POPL
2010
ACM
16 years 17 hour ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
127
click to vote
ICCAD
1997
IEEE
15 years 6 months ago
1997
IEEE
In this paper we present an algorithm for converting a BDD representation of a logic function into a multiple-level netlist of disjoint-support subfunctions. On the theoretical si...
135
Voted
DAC
1991
ACM
15 years 6 months ago
1991
ACM
-Conventionallyself-test hardware is added after synthesis is completed. For highly sequential circuits like controllersthis design method eitherleads to high hardware overheadsor ...
144
Voted
DAC
2010
ACM
15 years 6 months ago
2010
ACM
As device size shrinks to the nanometer range, FPGAs are increasingly prone to manufacturing defects. We anticipate that the ability to tolerate multiple defects will be very impo...
92
Voted
CAD
2006
Springer
15 years 2 months ago
2006
Springer
We present a parameter synthesis algorithm for planar, higher pair mechanical systems. The input is a parametric model of a mechanical system (part shapes and configurations) with...