Volume 4,
Number 1,
February 1993
- Vishwani D. Agrawal:
Editorial.
5
- Srinivas Devadas, Petra Michel:
Guest editorial.
7
- Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda:
An approach to sequential circuit diagnosis based on formal verification techniques.
11-17
- Hyunwoo Cho, Seh-Woong Jeong, Fabio Somenzi, Carl Pixley:
Synchronizing sequences and symbolic traversal techniques in test generation.
19-31
- Margot Karam, Gabriele Saucier:
Functional versus random test generation for sequential circuits.
33-41
- Johannes Steensma, Werner Geurts, Francky Catthoor, Hugo De Man:
Testability analysis in high level data path synthesis.
43-56
- Srimat T. Chakradhar, Suman Kanjilal, Vishwani D. Agrawal:
Finite state machine synthesis with fault tolerant test function.
57-69
- Sen-Pin Lin, Charles Njinda, Melvin A. Breuer:
Generating a family of testable designs using the BILBO methodology.
71-89
- Srinivas Devadas, Kurt Keutzer, Sharad Malik:
A synthesis-based test generation and compaction algorithm for multifaults.
91-104
- Bernhard Eschermann:
Enhancing on-line testability during synthesis.
105-116
Volume 4,
Number 2,
May 1993
Volume 4,
Number 3,
August 1993
- Vishwani D. Agrawal:
Editorial.
199
- Charles E. Stroud, Ahmed E. Barbour:
Testability and test generation for majority voting fault-tolerant circuits.
201-214
- Chao Feng, Jon C. Muzio, Fabrizio Lombardi:
On the testability of array structures for FFT computation.
215-224
- Zaifu Zhang, Robert D. McLeod, Witold Pedrycz:
A neural network algorithm for testing stuck-open faults in CMOS combinational circuits.
225-235
- El Mostapha Aboulhamid, Younès Karkouri, Eduard Cerny:
On the generation of test patterns for multiple faults.
237-253
- Byung S. So, Charles R. Kime:
A fault simulation method: Parallel pattern critical path tracing.
255-265
- Egor S. Sogomonyan, Michael Gössel:
Design of self-testing and on-line fault detection combinational circuits with weakly independent outputs.
267-281
- Ye. L. Stolov:
Testing of multi-output circuits by means of signature analyzer.
283
- Soumitra Bose, Prathima Agrawal, Vishwani D. Agrawal:
The optimistic update theorem for path delay testing in sequential circuits.
285-290
Volume 4,
Number 4,
November 1993
Last update Tue Feb 14 04:17:47 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page