Checking Consistency of C and Verilog using Predicate Abstraction and Induction

Similar Items

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