894 search results - page 12 / 179 » Optimizations for LTL Synthesis |
DAC
1999
ACM
16 years 1 months ago
1999
ACM
75
Voted
DAC
1999
ACM
16 years 1 months ago
1999
ACM
94
Voted
DAC
2004
ACM
16 years 1 months ago
2004
ACM
Logic duplication, a commonly used synthesis technique to remove trapped inverters in reconvergent paths of Domino circuits, incurs high area and power penalties. In this paper, w...
111
Voted
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper discusses a program synthesis system to facilitate the generation of high-performance parallel programs for a class of computations encountered in quantum chemistry and...
DATE
2000
IEEE
15 years 4 months ago
2000
IEEE
Recently a number of heuristic based system-level synthesis algorithms have been proposed. Though these algorithms quickly generate good solutions, how close these solutions are t...