An Industrially Effective Environment for Formal Hardware Verification

समान संसाधन

• A Methodology for Large−Scale Hardware Verification
  द्वारा: Aagaard, M, और अन्य
  प्रकाशित: (2000)
• Practical Formal Verification in Microprocessor Design
  द्वारा: Jones, R, और अन्य
  प्रकाशित: (2015)
• Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs
  द्वारा: O'Leary, J, और अन्य
  प्रकाशित: (2013)
• Relational STE and theorem proving for formal verification of industrial circuit designs
  द्वारा: O'Leary, J, और अन्य
  प्रकाशित: (2013)
• Hardware Verification by Formal Proof
  द्वारा: Birtwistle, G, और अन्य
  प्रकाशित: (1988)