Author:
Akbarpour Behzad,Tahar Sofiène
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Aagaard, M.D., Seger, C.-J.H.: The Formal Verification of a Pipelined Double- Precision IEEE Floating-Point Multiplier. In: International Conference on Computer Aided Design, San Francisco, CA, USA, November 1995, pp. 7–10 (1995)
2. Lecture Notes in Computer Science;B. Akbarpour,2002
3. Barrett, G.: Formal Methods Applied to a Floating Point Number System. IEEE Transactions on Software Engineering SE-15(5), 611–621 (1989)
4. Lecture Notes in Computer Science;C. Berg,2001
5. Boulton, R., Gordon, A., Gordon, M., Harrison, J., Herbert, J., Van-Tassel, J.: Experience with Embedding Hardware Description Languages in HOL. In: Theorem Provers in Circuit Design, pp. 129–156. North-Holland, Amsterdam (1992)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献