Author:
Brock Bishop C.,Hunt, Jr. Warren A.
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. VWSIM: A Circuit Simulator;Electronic Proceedings in Theoretical Computer Science;2022-05-24
2. Verified compilation on a verified processor;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08
3. A Hierarchical Approach to Self-Timed Circuit Verification;2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC);2019-05
4. Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications;Electronic Proceedings in Theoretical Computer Science;2017-05-02
5. A Short Historical Survey of Functional Hardware Languages;ISRN Electronics;2012-03-26