Miroslav N. Velev, Randal E. Bryant: Superscalar Processor Verification Using Efficient Reductions of the Logic of Equality with Uninterpreted Functions to Propositional Logic.CHARME1999: 37-53
Laurence Pierre, Thomas Kropf: Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings.Lecture Notes in Computer Science 1703, Springer1999, ISBN 3-540-66559-5[contents]