The Formal Design of 1M-Gate ASICs

This publication has 5 references indexed in Scilit:

• Verification of an implementation of Tomasulo's algorithm by compositional model checking
  Published by Springer Nature ,1998
• The SGI Origin
  Published by Association for Computing Machinery (ACM) ,1997
• A compositional rule for hardware design refinement
  Published by Springer Nature ,1997
• Integrating formal verification methods with a conventional project design flow
  Published by Association for Computing Machinery (ACM) ,1996
• Using formal verification/analysis methods on the critical path in system design: A case study
  Published by Springer Nature ,1995