Model Checking Based on Sequential ATPG-Reference-Cited by-同舟云学术

Model Checking Based on Sequential ATPG

Published:1999 Issue: Volume: Page:418-430
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Boppana Vamsi,Rajan Sreeranga P.,Takayama Koichiro,Fujita Masahiro

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48683-6_36

Reference29 articles.

1. M. Abramovici, M. A. Breuer, and A. D. Friedman. Digital System Testing and Testable Design. NewYork, NY: Computer Science Press, 1990.

2. R. Alur and T. A. Henzinger, editors. Computer-Aided Verification, CAV’ 96, volume 1102 of Lecture Notes in Computer Science, New Brunswick, NJ, July/August 1996. Springer-Verlag.

3. V. Boppana. State information-based solutions for sequential circuit diagnosis and testing. Technical Report CRHC-97-20, Ph.D. thesis, Center for Reliable and High-Performance Computing, University of Illinois at Urbana-Champaign, July 1997.

4. R.E. Bryant. Binary decision diagrams and beyond: Enabling technologies for formal verification. In Proceedings of the International Conference on Computer-Aided Design, pages 236–243, November 1995.

5. K. T. Cheng and V. Agrawal. State Assignment for Initialilzable Synthesis. In Proc. Intl. Conf. Computer-Aided Design, pages 212–215, November 1989.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Синхронизация конечных автоматов;Uspekhi Matematicheskikh Nauk;2022

2. Synchronization of finite automata;Russian Mathematical Surveys;2022

3. A comprehensive study and analysis on SAT-solvers: advances, usages and achievements;Artificial Intelligence Review;2018-03-28

4. Automated Test Generation and Verified Software;Verified Software: Theories, Tools, Experiments;2008

5. EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation;Computer Aided Verification;2006