Author:
Kaivola Roope,O’Leary John
Publisher
Springer Nature Singapore
Reference66 articles.
1. Aagaard M, Seger C-J (1995) The formal verification of a pipelined double-precision IEEE floating-point multiplier. In: Proceedings of IEEE international conference on computer aided design (ICCAD), pp 7–10
2. Aagaard MD, Jones RB, Seger C-JH (1999a) Formal verification using parametric representations of Boolean constraints. In: Proceedings of the 36th annual ACM/IEEE design automation conference, pp 402–407
3. Aagaard MD, Jones RB, Seger C-JH (1999b) Lifted-FL: a pragmatic implementation of combined model checking and theorem proving. In: Theorem proving in higher order logics. Springer, pp 323–340
4. Aagaard MD, Melham TF, O’Leary JW (1999c) Xs are for trajectory evaluation, Booleans are for theorem proving. In: Pierre L, Kropf T (eds) Correct hardware design and verification methods. Springer, pp 202–218
5. Aagaard MD, Jones RB, Kaivola R, Kohatsu KR, Seger C-JH (2000) Formal verification of iterative algorithms in microprocessors. In: Proceedings of the 37th annual design automation conference, pp 201–206