Sciweavers

564 search results - page 6 / 113
» Wireplanning in logic synthesis
Sort
View
VLSID
2009
IEEE
130views VLSI» more  VLSID 2009»
14 years 8 months ago
Reversible Logic Synthesis with Output Permutation
Synthesis of reversible logic has become a very important research area. In recent years several algorithms ? heuristic as well as exact ones ? have been introduced in this area. ...
Daniel Große, Gerhard W. Dueck, Robert Wille...
ICCAD
2002
IEEE
110views Hardware» more  ICCAD 2002»
14 years 4 months ago
Whirlpool PLAs: a regular logic structure and their synthesis
 A regular circuit structure called a Whirlpool PLA (WPLA) is proposed. It is suitable for the implementation of finite state machines as well as combinational logic. A WPLA is ...
Fan Mo, Robert K. Brayton
PSB
2010
13 years 5 months ago
Synthesis of Pharmacokinetic Pathways through Knowledge Acquisition and Automated Reasoning
teness of the knowledge bases, our approach also obtains facts through automated extraction from Medline abstracts. An essential component of our approach is to apply logical reaso...
Luis Tari, Saadat Anwar, Shanshan Liang, Jörg...
ICCD
1994
IEEE
142views Hardware» more  ICCD 1994»
13 years 11 months ago
Grammar-Based Optimization of Synthesis Scenarios
Systems for multi-level logic optimization are usually based on a set of specialized, loosely-related transformations which work on a network representation. The sequence of trans...
Andreas Kuehlmann, Lukas P. P. P. van Ginneken
ATVA
2007
Springer
152views Hardware» more  ATVA 2007»
14 years 1 months ago
Bounded Synthesis
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
Sven Schewe, Bernd Finkbeiner