Efficient Functional Diagnosis For Synchronous Sequential Circuits Based On And/or Graphs (1997)

Cached

Download Links

by Rolf Drechsler , Alenka
Venue:Proceedings of Int'l Symposium on IC Technologies, systems and Applications
Citations:2 - 2 self

Documents Related by Co-Citation

6 Decision diagrams and AND/OR graphs for design automation problems – R Drechsler, W Kunz, D Stoeffel, A Zuzek - 1997
7 Verification of multi-valued logic networks – R Drechsler - 1996
3 An application of the information theory approach to failure diagnosis – E J Kletsky - 1960
1 Sequential diagnosis tool – A Biasizzo, A Zuzek, F Novak - 1998
3 On the performance of multivalued integrated circuits: Past, present and future – D Etiemble - 1992
10 Efficient Branch and Bound Search with Application to Computer-Aided Design – Xinghao Chen, Michael L Bushnell - 1996
11 Current-mode CMOS multiple-valued logic circuits – K W Current
14 A Method for Automatic Design Error Location and Correction in Combinational Logic Circuits – Ayman M. Wahba, Dominique Borrione - 1996
16 Multiple-valued Switching Theory – J C Muzio, T C Wesselkamper - 1986
38 Alexandridis, “Application of heuristic search and information theory to sequential fault diagnosis – K R Pattipati, M G - 1990
1298 Symbolic Model Checking – K L McMillan - 1993
5 AND/OR Reasoning Graphs for Determining Prime Implicants in Multi-Level Combinational Networks – Dominik Stoffel, Wolfgang Kunz, Stefan Gerber - 1997
3 Decision Diagrams in Synthesis - Algorithms, Applications and Extensions – Bernd Becker, Rolf Drechsler - 1997
1 Fast Reed-Muller Sectrum Computation Uing Output Probabilities – M A Thornton, V S S Nair - 1995
11 Modified Haar Transform Calculation Using Digital Circuit Output Probabilities – M. A. Thornton - 1997
6 Spectral Techniques and Fault Detection – P W Besslich - 1985
7 The ISCAS '85 Benchmark Circuits and Netlist Format – David Bryan - 1988
2 Sequential diagnosis with asymmetrical tests, The Comput – A Biasizzo, A Zˇ uzˇek, F Novak - 1998
8 An Improved Method for Computing a Generalized Spectral Coefficient – D M Miller - 1998