Sciweavers

564 search results - page 40 / 113
» Wireplanning in logic synthesis
Sort
View
WCE
2007
13 years 9 months ago
Avoiding Hazards for Speed-Independent Logic Design
- In the speed-independent logic, the hazards caused by input inverters are identified. The known methods of the elimination of such hazards are based on avoiding input inverters. ...
Igor Lemberski
ITC
1998
IEEE
114views Hardware» more  ITC 1998»
14 years 22 days ago
BETSY: synthesizing circuits for a specified BIST environment
This paper presents a logic synthesis tool called BETSY (BIST Environment Testable Synthesis) for synthesizing circuits that achieve complete (100%)fault coverage in a user specif...
Zhe Zhao, Bahram Pouya, Nur A. Touba
GLVLSI
2007
IEEE
135views VLSI» more  GLVLSI 2007»
14 years 2 months ago
Exact sat-based toffoli network synthesis
Compact realizations of reversible logic functions are of interest in the design of quantum computers. Such reversible functions are realized as a cascade of Toffoli gates. In th...
Daniel Große, Xiaobo Chen, Gerhard W. Dueck,...
DATE
2000
IEEE
169views Hardware» more  DATE 2000»
14 years 27 days ago
Transformational Placement and Synthesis
Novel methodology and algorithms to seamlessly integrate logic synthesis and physical placement through a transformational approach are presented. Contrary to most placement algor...
Wilm E. Donath, Prabhakar Kudva, Leon Stok, Paul V...
ATVA
2008
Springer
89views Hardware» more  ATVA 2008»
13 years 10 months ago
Impartial Anticipation in Runtime-Verification
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...
Wei Dong, Martin Leucker, Christian Schallhart