894 search results - page 10 / 179 » Optimizations for LTL Synthesis |
103
Voted
EMSOFT
2011
Springer
13 years 10 months 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...
DATE
2004
IEEE
15 years 2 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...
RSP
1999
IEEE
15 years 3 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 ...
DATE
2010
IEEE
15 years 3 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...
GECCO
2006
Springer
15 years 2 months ago
2006
Springer