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

Active Bibliography

Error Diagnosis in Sequential Multi-Valued Logic Networks – Rolf Drechsler, Alenka Zuzek, Rolf Drechsler Alenka
1 Sequential Diagnosis Tool For System Maintenance And Repair – Alenka Zuzek, Franc Novak, Anton Biasizzo, Iztok Savnik, Bojan Cestnik Jozef Stefan - 1995
www.elsevier.nl/locate/micpro Sequential diagnosis tool – A. Z ˇ Uzˇek, A. Biasizzo, F. Novak
7 Fault-Simulation Based Design Error Diagnosis for Sequential Circuits – Shi-Yu Huang, Kwang-ting Cheng, Kuang-Chien Chen - 1998
19 Errortracer: Design error diagnosis based on fault simulation techniques – Shi-yu Huang, Kwang-ting Cheng, Senior Member - 1999
19 Heuristic Search in Cyclic AND/OR Graphs – Eric A. Hansen, Shlomo Zilberstein - 1998
5 AND/OR Reasoning Graphs for Determining Prime Implicants in Multi-Level Combinational Networks – Dominik Stoffel, Wolfgang Kunz, Stefan Gerber - 1997
Logic Verification in a Synthesis Environment – Wolfgang Kunz, Dhiraj K. Pradhan, Subodh M. Reddy
21 Logic optimization and equivalence checking by implication analysis – Wolfgang Kunz, Dominik Stoffel, Prem R. Menon - 1997
Towards a General Test Presentation in the Test Sequencing Problem – Alenka Zuzek, Anton Biasizzo, Franc Novak, Zuzek Anton, Biasizzo Franc Novak
2 Monitoring and Active Diagnosis for Discrete-Event Systems – Elodie Chanthery, Yannick Pencolé
A Redesign Technique for Combinational Circuits Based on Gate Reconnections – Yuji Kukimoto Masahiro, Masahiro Fujita, Robert K. Brayton - 1994
1 Sequential Logic Rectifications with Approximate SPFDs – Yu-shen Yang, Subarna Sinha, Andreas Veneris, Robert K. Brayton, Duncan Smith
Automating Logic Transformations with Approximate SPFDs – Yu-shen Yang, Andreas Veneris, Subarna Sinha, Robert K. Brayton
11 Design Error Diagnosis in Sequential Circuits – Ayman Wahba, Dominique Borrione - 1995
2 Functional test generation for synchronous sequential circuits – M. K. Srinivas, James Jacob, Vishwani D. Agrawal - 1996
11 Redundancy Identification Using Transitive Closure – Vishwani D. Agrawal, Michael L. Bushnell, Qing Lin - 1996
9 ZRAM: A Library of Parallel Search Algorithms and Its Use in Enumeration and Combinatorial Optimization – Ambros Marzetta - 1998
11 Polynomial Formal Verification of Multipliers – Martin Keim , Michael Martin, Bernd Becker, Rolf Drechsler, Paul Molitor - 1997