Author:
Davis Jared,Slobodova Anna,Swords Sol
Publisher
Springer International Publishing
Reference30 articles.
1. Lecture Notes in Computer Science;W.A. Hunt Jr.,2009
2. Hunt Jr., W.A., Swords, S., Davis, J., Slobodova, A.: Use of Formal Verification at Centaur Technology. In: Hardin, D. (ed.) Design and Verification of Microprocessor Systems for High-Assurance Applications, pp. 65–88. Springer (2010)
3. Slobodova, A., Davis, J., Swords, S., Hunt Jr., W.: A flexible formal verification framework for industrial scale validation. In: Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), Cambridge, UK, pp. 89–97. IEEE/ACM (July 2011)
4. Kaufmann, M., Moore, J.S., Boyer, R.S.: ACL2 version 6.1 (2013),
http://www.cs.utexas.edu/~moore/acl2/
5. Lecture Notes in Computer Science;S. Ray,2004
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Complete and Efficient Verification for a RISC-V Processor Using Formal Verification;2024 Design, Automation & Test in Europe Conference & Exhibition (DATE);2024-03-25
2. PolyMiR: Polynomial Formal Verification of the MicroRV32 Processor;Proceedings of the 18th ACM International Symposium on Nanoscale Architectures;2023-12-18
3. CustomProcessingUnit: Reverse Engineering and Customization of Intel Microcode;2023 IEEE Security and Privacy Workshops (SPW);2023-05
4. Polynomial Formal Verification of a Processor: A RISC-V Case Study;2023 24th International Symposium on Quality Electronic Design (ISQED);2023-04-05
5. Formal Verification of SUBLEQ Microcode implementing the RV32I ISA;2022 Forum on Specification & Design Languages (FDL);2022-09-14