Checking Consistency of C and Verilog using Predicate Abstraction and Induction

Registros relacionados

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