Author:
Chen Yirng-An,Bryant Randal E.
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Brock, B., Kaufmann, M., and Moore, J. S. ACL2 theorems about commerical microprocessors. In Proceedings of the Formal Methods on Computer-Aided Design (November 1996), pp. 275–293.
2. Bryant, R. E. Graph-based algorithms for boolean function manipulation. In IEEE Transactions on Computers (August 1986), pp. 8:677–691.
3. Bryant, R. E., and Chen, Y.-A. Verification of arithmetic circuits with binary moment diagrams. In Proceedings of the 32nd ACM/IEEE Design Automation Conference (June 1995), pp. 535–541.
4. Carreño, V. A., and Miner, P S. Specification of the IEEE-854 floating-point standard in HOL and PVS. In High Order Logic Theorem Proving and Its Applications (September 1995).
5. Chen, Y.-A., and Bryant, R. E. PHDD: An efficient graph representation for floating point circuit verification. In Proceedings of the International Conference on Computer Aided Design (November 1997), pp. 2–7.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献