Exploiting positive equality and partial non-consistency in the formal verification of pipelined microprocessors

Publisher Website

1 June 1999

conference paper
Published by Association for Computing Machinery (ACM)

https://doi.org/10.1145/309847.309967

Abstract

No abstract available

This publication has 3 references indexed in Scilit:

Techniques for verifying superscalar microprocessors
Published by Association for Computing Machinery (ACM) ,1996
Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys, 1992
Simplification by Cooperating Decision Procedures
ACM Transactions on Programming Languages and Systems, 1979