Author:
Aagaard Mark D.,Jones Robert B.,Seger Carl-Johan H.
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. M. D. Aagaard, R. B. Jones, and C.-J. H. Seger. Combining theorem proving and trajectory evaluation in an industrial environment. In DAC, pages 538–541. ACM/IEEE, July 1998.
2. M. D. Aagaard, R. B. Jones, and C.-J. H. Seger. Formal verification using parametric representations of Boolean constraints. In DAC, July 1999.
3. M. D. Aagaard and C.-J. H. Seger. The formal verification of a pipelined double-precision IEEE floating-point multiplier. In ICCAD, pages 7–10. IEEE Comp. Soc. Press, Washington D.C. Nov. 1995.
4. L. Augustson. A compiler for Lazy-ML. In ACM Symposium on Lisp and Functional Programming, pages 218–227, 1984.
5. D. E. Beatty, R. E. Bryant, and C.-J. H. Seger. Synchronous circuit verification — an illustration. In Advanced Research in VLSI, Proceedings of the Sixth MIT Conference, pages 98–112. MIT Press, 1990.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献