RuleBase: an industry-oriented formal verification tool

This publication has 9 references indexed in Scilit:

• Dynamic variable ordering for ordered binary decision diagrams
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Bug identification of a real chip design by symbolic model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Establishing PCI compliance using formal verification: a case study
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Formal verification of a commercial serial bus interface
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Verification of the Futurebus+ cache coherence protocol
  Formal Methods in System Design, 1995
• Model checking in industrial hardware design
  Published by Association for Computing Machinery (ACM) ,1995
• HSIS
  Published by Association for Computing Machinery (ACM) ,1994
• Symbolic Model Checking
  Published by Springer Nature ,1993
• Representing circuits more efficiently in symbolic model checking
  Published by Association for Computing Machinery (ACM) ,1991