Abstract: Experience with Practical Formal Verification at an Industrial Scale

समान संसाधन

• Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
  द्वारा: Melham, T
  प्रकाशित: (1989)
• Practical Formal Verification in Microprocessor Design
  द्वारा: Jones, R, और अन्य
  प्रकाशित: (2015)
• Abstraction Mechanisms for Hardware Verification
  द्वारा: Melham, T
  प्रकाशित: (1990)
• Abstraction Mechanisms for Hardware Verification
  द्वारा: Melham, T
  प्रकाशित: (1988)
• Abstraction Mechanisms for Hardware Verification
  द्वारा: Melham, T
  प्रकाशित: (1987)