Sciweavers

209 search results - page 3 / 42
» A Systematic Approach for Designing Testable VLSI Circuits
Sort
View
DFT
2002
IEEE
103views VLSI» more  DFT 2002»
14 years 20 days ago
Duplication-Based Concurrent Error Detection in Asynchronous Circuits: Shortcomings and Remedies
Concurrent error detection (CED) methods are typically employed to provide an indication of the operational health of synchronous circuits during normal functionality. Existing CE...
Thomas Verdel, Yiorgos Makris
CCS
2009
ACM
13 years 11 months ago
On voting machine design for verification and testability
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, Dav...
DAC
2009
ACM
14 years 2 months ago
Information hiding for trusted system design
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
Junjun Gu, Gang Qu, Qiang Zhou
DAC
1994
ACM
13 years 11 months ago
Stochastic Optimization Approach to Transistor Sizing for CMOS VLSI Circuits
A stochastic global optimization approach is presented for transistor sizing in CMOS VLSI circuits. This is a direct search strategy for the best design among feasible ones, with ...
Sharad Mehrotra, Paul D. Franzon, Wentai Liu
EH
2003
IEEE
105views Hardware» more  EH 2003»
14 years 1 months ago
Easily Testable Image Operators: The Class of Circuits Where Evolution Beats Engineers
The paper deals with a class of image filters in which the evolutionary approach consistently produces excellent and innovative results. Furthermore, a method is proposed that le...
Lukás Sekanina, Richard Ruzicka