Checking Consistency of C and Verilog using Predicate Abstraction and Induction

Lignende værker

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