Author:
Swords Sol,Hunt Warren A.
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Aagaard, M.D., Jones, R.B., Seger, C.-J.H.: Formal verification using parametric representations of boolean constraints. In: Proceedings of the 36th Design Automation Conference, pp. 402–407 (1999)
2. Berman, C.L., Trevillyan, L.H.: Functional comparison of logic designs for VLSI circuits. In: IEEE International Conference on Computer-Aided Design, November 5-9, pp. 456–459 (1989)
3. Boyer, R.S., Hunt Jr, W.A.: Function memoization and unique object representation for ACL2 functions. In: ACL ’06: Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications, pp. 81–89. ACM, New York (2006)
4. Lecture Notes in Computer Science;S. Hazelhurst,1997
5. Lecture Notes in Computer Science;W.A. Hunt Jr.,2009
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Industrial hardware and software verification with ACL2;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2017-09-04
2. Verified AIG Algorithms in ACL2;Electronic Proceedings in Theoretical Computer Science;2013-04-26
3. Bit-Blasting ACL2 Theorems;Electronic Proceedings in Theoretical Computer Science;2011-10-20