Checking Consistency of C and Verilog using Predicate Abstraction and Induction

Схожие документы

• Checking consistency of C and Verilog using predicate abstraction and induction
  по: Kroening, D, и др.
  Опубликовано: (2004)
• Verification of SpecC and Verilog using Predicate Abstraction
  по: Jain, H, и др.
  Опубликовано: (2004)
• Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking
  по: Kroening, D, и др.
  Опубликовано: (2003)
• Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
  по: Jain, H, и др.
  Опубликовано: (2008)
• Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
  по: Jain, H, и др.
  Опубликовано: (2005)