Sciweavers

564 search results - page 17 / 113
» Wireplanning in logic synthesis
Sort
View
DAC
2006
ACM
14 years 9 months ago
DAG-aware AIG rewriting a fresh look at combinational logic synthesis
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the representation of combinational logic using And-Inve...
Alan Mishchenko, Satrajit Chatterjee, Robert K. Br...
CSL
2006
Springer
14 years 2 days ago
Church Synthesis Problem with Parameters
For a two-variable formula (X, Y ) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of an operator Y = F(X) such that (X, F(X)) ...
Alexander Moshe Rabinovich
DAC
2009
ACM
14 years 9 months ago
BDD-based synthesis of reversible logic for large functions
Reversible logic is the basis for several emerging technologies such as quantum computing, optical computing, or DNA computing and has further applications in domains like low-pow...
Robert Wille, Rolf Drechsler
DAC
2008
ACM
14 years 9 months ago
The synthesis of robust polynomial arithmetic with stochastic logic
As integrated circuit technology plumbs ever greater depths in the scaling of feature sizes, maintaining the paradigm of deterministic Boolean computation is increasingly challeng...
Weikang Qian, Marc D. Riedel
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
14 years 2 months ago
Crosstalk-aware domino logic synthesis
We propose a logic synthesis flow which utilizes the functionality of circuit to synthesize a domino-cell network which will have more wires crosstalk-immune to each other. For t...
Yi-Yu Liu, TingTing Hwang