119 search results - page 13 / 24 » Automated Modeling of Custom Digital Circuits for Test |
121
click to vote
DATE
1999
IEEE
15 years 3 months ago
1999
IEEE
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
IPPS
2007
IEEE
15 years 5 months ago
2007
IEEE
Partial differential equations (PDEs) are used to model physical phenomena and then appropriate convergent numerical algorithms are employed to solve them and create computer simu...
114
click to vote
DAC
2005
ACM
16 years 9 days ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
DAC
2000
ACM
16 years 9 days ago
2000
ACM
This paper derives a methodology for developing accurate convex delay models to be used for transistor sizing. A new rich class of convex functions to model gate delay is presente...
117
click to vote
VTS
2000
IEEE
15 years 3 months ago
2000
IEEE
Transient Signal Analysis is a digital device testing method that is based on the analysis of voltage transients at multiple test points. In this paper, the power supply transient...