Author:
Currie David,Feng Xiushan,Fujita Masahiro,Hu Alan J.,Kwan Mark,Rajan Sreeranga
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Theoretical Computer Science,Software
Reference45 articles.
1. R. E. Bryant, A Methodology for Hardware Verification Based on Logic Simulation, J. ACM, 38(2):299–328 (April 1991).
2. R. E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Trans. Computers, C-35(8):677–691 (August 1986).
3. R. E. Bryant, On the Complexity of VLSI Implementations and Graph Representations of Boolean Functions with Application to Integer Multiplication, IEEE Trans. Computers, 40(2):205–213 (February 1991).
4. J. Joyce, G. Birtwistle, and M. Gordon, Proving a Computer Correct in Higher Order Logic, Technical Report UCAM-CL-TR-100, University of Cambridge Computer Laboratory (December 1986).
5. J. R. Burch and D. L. Dill, Automatic Verification of Pipelined Microprocessor Control, Computer-Aided Verification: Sixth International Conference, Lecture Notes in Computer Science, Vol. 818, pp. 68–80, Springer (1994).
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification;Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes;2024
2. Execution trace analysis for a precise understanding of latency violations;Software and Systems Modeling;2023-01-06
3. Formal Verification of Spacecraft Control Programs;ACM Transactions on Embedded Computing Systems;2020-11-13
4. ACCESS;Proceedings of the 56th Annual Design Automation Conference 2019;2019-06-02
5. Formal verification of spacecraft control programs (experience report);Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019;2019