Formal Hardware Verification Methods: A Survey-Reference-Cited by-同舟云学术

Formal Hardware Verification Methods: A Survey

Published:1992 Issue: Volume: Page:5-92
ISSN:
Container-title:Computer-Aided Verification
language:
Short-container-title:

Author:

Gupta Aarti

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-1-4615-3556-0_2.pdf

Reference219 articles.

1. P. Camurati and P. Prinetto. Formal verification of hardware correctness: Introduction and survey of current research. Computer, 21(7):8–19 (July 1988).

2. E.M. Clarke and O. Grumberg. Research on automatic verification of finite-state concurrent systems. Annual Review of Computer Science, Carnegie Mellon University, Pittsburgh, PA, 2:269–290 (1987).

3. A. Pnueli. Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends. In Current Trends in Concurrency, J.W. de Bakker, W-P.de Roever, and G. Rozenberg (eds.), volume 224 of Lecture Notes in Computer Science, Springer-Verlag, New York, 1986, pp. 510–584.

4. M. Yoeli. Formal Verification of Hardware Design. IEEE Computer Society Press, Los Alamitos, CA, 1990. Logic

5. J. Barwise (ed.). Handbook of Mathematical Logic. North-Holland, Amsterdam, 1977.

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

1. Directed Test Generation for Hardware Validation: A Survey;ACM Computing Surveys;2024-01-12

2. Systematic Generation of Diverse Benchmarks for DNN Verification;Computer Aided Verification;2020

3. Principles of Secure Processor Architecture Design;Synthesis Lectures on Computer Architecture;2018-10-18

4. Simplified model for automatic QCA circuitry verification;Proceedings of the 30th Symposium on Integrated Circuits and Systems Design Chip on the Sands - SBCCI '17;2017

5. A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems;Knowledge Science, Engineering and Management;2014