Checking Consistency of C and Verilog using Predicate Abstraction and Induction

相似书籍

• Checking consistency of C and Verilog using predicate abstraction and induction
  由: Kroening, D, et al.
  出版: (2004)
• Verification of SpecC and Verilog using Predicate Abstraction
  由: Jain, H, et al.
  出版: (2004)
• Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking
  由: Kroening, D, et al.
  出版: (2003)
• Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
  由: Jain, H, et al.
  出版: (2008)
• Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
  由: Jain, H, et al.
  出版: (2005)