Checking Consistency of C and Verilog using Predicate Abstraction and Induction

Podobné jednotky

• Checking consistency of C and Verilog using predicate abstraction and induction
  Autor: Kroening, D, a další
  Vydáno: (2004)
• Verification of SpecC and Verilog using Predicate Abstraction
  Autor: Jain, H, a další
  Vydáno: (2004)
• Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking
  Autor: Kroening, D, a další
  Vydáno: (2003)
• Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
  Autor: Jain, H, a další
  Vydáno: (2008)
• Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
  Autor: Jain, H, a další
  Vydáno: (2005)