Checking Consistency of C and Verilog using Predicate Abstraction and Induction

Geahča maid

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