Verification of SpecC and Verilog using Predicate Abstraction

相似书籍

• Verification of SpecC using Predicate Abstraction
  由: Clarke, E, et al.
  出版: (2007)
• Verification of SpecC using predicate abstraction.
  由: Clarke, E, et al.
  出版: (2007)
• Checking consistency of C and Verilog using predicate abstraction and induction
  由: Kroening, D, et al.
  出版: (2004)
• Checking Consistency of C and Verilog using Predicate Abstraction and Induction
  由: Kroening, D, et al.
  出版: (2004)
• Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
  由: Jain, H, et al.
  出版: (2008)