894 search results - page 10 / 179 » Optimizations for LTL Synthesis |
124
click to vote
EMSOFT
2011
Springer
14 years 6 days ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
107
Voted
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
We propose an algorithm for efficient threshold network synthesis of arbitrary multi-output Boolean functions. The main purpose of this work is to bridge the wide gap that currentl...
114
click to vote
RSP
1999
IEEE
15 years 4 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
95
Voted
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Behavioral synthesis is the compilation of an Electronic system-level (ESL) design into an RTL implementation. We present a suite of optimizations for equivalence checki...
50
Voted
GECCO
2006
Springer
15 years 4 months ago
2006
Springer