Formal hardware verification methods: A survey-Reference-Cited by-同舟云学术

Formal hardware verification methods: A survey

Published:1992-10 Issue:2-3 Volume:1 Page:151-238
ISSN:0925-9856
Container-title:Formal Methods in System Design
language:en
Short-container-title:Form Method Syst Des

Author:

Gupta Aarti

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF00121125.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. Lecture Notes in Computer Science;A. Pnueli,1986

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

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

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

1. Basics of VLSI Design;Understanding Logic Locking;2023-09-23

2. FPGA Formal Verification: A Local Logic Correctness Approach;2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE);2023-07-24

3. A Holistic Approach to CPU Verification using Formal Techniques;2022 IEEE Women in Technology Conference (WINTECHCON);2022-06-02

4. An Introduction to Quantum Model Checking;Applied Sciences;2022-02-15

5. Epistemic Proceduralism Defended I;Synthese Library;2022