Sciweavers

10718 search results - page 538 / 2144
» On the Circuit Implementation Problem
Sort
View
ISQED
2008
IEEE
119views Hardware» more  ISQED 2008»
16 years 1 months ago
Instruction Scheduling for Variation-Originated Variable Latencies
The advance in semiconductor technologies presents the serious problem of parameter variations. They affect threshold voltage of transistors and thus circuit delay also has variat...
Toshinori Sato, Shingo Watanabe
ICCAD
2007
IEEE
105views Hardware» more  ICCAD 2007»
16 years 1 months ago
Victim alignment in crosstalk aware timing analysis
Modeling the effect of coupling noise on circuit delay is a key issue in static timing analysis (STA) and involves the “victimaggressor alignment” problem. As delay-noise depe...
Ravikishore Gandikota, Kaviraj Chopra, David Blaau...
ICCS
2007
Springer
16 years 1 months ago
Integrated Decision Algorithms for Auto-steered Electric Transmission System Asset Management
Electric power transmission systems are comprised of a large number of physical assets, including transmission lines, power transformers, and circuit breakers, that are capital-int...
James D. McCalley, Vasant Honavar, Sarah M. Ryan, ...
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
16 years 1 months ago
On the relation between simulation-based and SAT-based diagnosis
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
Görschwin Fey, Sean Safarpour, Andreas G. Ven...
ASPDAC
2006
ACM
100views Hardware» more  ASPDAC 2006»
16 years 1 months ago
Generation of shorter sequences for high resolution error diagnosis using sequential SAT
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...
Sung-Jui (Song-Ra) Pan, Kwang-Ting Cheng, John Moo...