Author:
Aagaard Mark D.,Cook Byron,Day Nancy A.,Jones Robert B.
Publisher
Springer Berlin Heidelberg
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Correct-by-Construction Design of Custom Accelerator Microarchitectures;IEEE Transactions on Computers;2024-01
2. r-map: Relating Implementation and Specification in Hardware Refinement Checking;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-12
3. Local and Compositional Reasoning for Optimized Reactive Systems;Computer Aided Verification;2019
4. RTLcheck;Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture;2017-10-14
5. End-to-End Verification of "Equation missing" Processors with ISA-Formal;Computer Aided Verification;2016