References
- IBM Journal of Research and Development v.10 no.4 Diagnosis of automata failures: A calculus and a method J. P. Roth
- IEEE Trans. on Computers. v.C-30 no.3 An implicit enumeration algorithm to generate tests for combinational logic circuits P. Goel
- IEEE Trans. on Computers. v.C-30 no.12 On the acceleration of test generation algorithms H. Fujiwara;T. Shimono
- ACM/IEEE Proc. Design Automation Conf. A topological search algorithm for ATPG T. Kirkland;M. R. Mercer
- IEEE Trans. on Computer-Aided Design v.CAD-7 no.1 SOCRATES: A highly efficient automatic test pattern generation system M. H. Schulz;E. Trischler;T. M. Sarfert
- Proc. Int. Symposium Cicuits and Systems Combinational profiles of sequential benchmark circuits F. Brglez;D. Bryan;K. Kozminski
- ACM/IEEE Proc. Design Automation Conf. A logic design structure for LSI testability E. B. Eichelberger;T. W. Williams
- Digital Systems Testing and Testable Design M. Abramovici;M. A. Breuer;A. D. Friedman
- Proc. (15th) ACM/IEEE Design Automation Conf. EBT: A comprehensive generation technique for highly sequential circuits R. Marlett
- Proc. IEEE Int. Test Conf. A sequential circuit test generation system S. Mallela;S. Wu
- Proc. (23rd) ACM/IEEE Design Automation Conf. An effective test generation system for sequential circuits R. Marlett
- Proc. Int. Conf. Computer Design The BACK algorithm for sequential test generation W.-T. Cheng
- IEEE Trans. Computers v.C-20 no.6 A heuristic algorithm for the testing of asynchronous circuits G. R. Putzolu;J. P. Roth
- Proc. European Conf. Design Automation HITEC: A test generation package for sequential circuits T. M. Niermann;J. H. Patel
- Proc. Int. Conf. Computer-Aided Design A new test generation method for sequential circuits D. H. Lee;S. M. Reddy
- Proc. (25th) ACM/IEEE Design Automation Conf. Split circuit model for test generation W. T. Cheng
- IRE Trans. Electron. Computers v.11 no.8 The diagnosis of asynchronous sequential switching system S. Seshu;D. N. Freeman
- IEEE Trans. Computers v.C-20 no.11 A random and an algorithmic technique for fault detection test generation for sequential circuits M. A. Breuer
- IEEE Trans. Computer v.C-24 no.7 The weighted random test-pattern generator H. D. Schnurman;E. Lindbloom;R. G. Carpenter
- Proc. Design Automation Conf. CONTEST: A concurrent test generator for sequential circuits V. D. Agrawal;K.-T. Cheng;P. Agrawal
- Proc. Int. Conf. Computer-Aided Design CRIS: A test cultivation program for sequential VLSI circuits D. G. Saab;Y. G. Saab;J. A. Abraham
- Proc. Design Automation Conf. Sequential circuit test generation in a genetic algorithm framework E. M. Rudnick;J. H. Patel;G. S. Greenstein;T. M. Niermann
- Proc. Int. Test Conf. An automatic test pattern generator for large sequential circuits based on genetic algorithms P. Prinetto;M. Rebaudengo;M. Sonza Reorda
- Proc. Int. Conf. Computer-Aided Design Iterative[simulation-based genetics+deterministic techniques ]=complete ATPG D. G. Saab;Y. S. Saab;J. A. Abraham
- Proc. Design Automation Conf. Combining deterministic and genetic approaches for sequential circuit test generation E. M. Rudnick;J. H. Patel
- Proc. European Design and Test Conf. Alternating strategies for sequential circuit ATPG M. S. Hsiao;E. M. Rudnick;J. H. Patel
- Genetic Algorithms in Search, Optimization, and Machine Learning D. E. Goldberg
- IEEE Trans. Computer-Aided Design v.CAD-7 no.7 Test generation for sequential circuits H-K. T. Ma;S. Devadas;A. R. Newton;A. Sangiovanni-Vincentelli
- IEEE Trans. Computer-Aided Design v.CAD-10 no.5 Test generation and verification for highly sequential circuits A. Ghosh;S. Devadas;A. R. Newton
- IEEE Trans. Computer-Aided Design v.CAD-12 no.7 Redundancy identification /removal and test generation for sequential circuits using implicite state ennumeration H. Cho;G. D. Hachtel;F. Somenzi
- IEICE Trans. v.J76-A no.6 Test generation for sequential circuits based on Boolean function manipulation H. Choi;T. Kohara;N. Ishiura;I. Shirakawa;A. Motohara
- IEEE Trans. on Computers v.C-35 no.8 Graph-based algorithms for Boolean function manipulation R. E. Bryant
- Proc. (27th) ACM/IEEE Design Automation Conf. Shared binary decision diagram with attributed edges for efficient Boolean function manipulation S. Minato;N. Ishiura;S. Yajima
- Proc. IEEE Int. Conf. Implicit state enumeration of finite state machines using BDD's H. J. Touati;H. Savoj;B. Lin;R. K. Brayton;A. Sangiovanni-Vincentelli