395 search results - page 64 / 79 » Encoding Algorithms for Logic Synthesis |
128
click to vote
EON
2008
15 years 3 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
105
click to vote
DAC
2003
ACM
16 years 3 months ago
2003
ACM
Cyclic circuits that do not hold state or oscillate are often the most convenient representation for certain functions, such as arbiters, and can easily be produced inadvertently ...
103
click to vote
CP
2003
Springer
15 years 7 months ago
2003
Springer
For the last ten years, a significant amount of work in the constraint community has been devoted to the improvement of complete methods for solving soft constraints networks. We ...
114
click to vote
DAC
2005
ACM
16 years 3 months ago
2005
ACM
Achieving design closure is one of the biggest headaches for modern VLSI designers. This problem is exacerbated by high-level design automation tools that ignore increasingly impo...
109
click to vote
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...