VIS: Verification Interacting withSynthesis

VIS: Verification Interacting withSynthesis

• Three Main Operations
  • Formal Verification
    • equivalence checking (comb. and seq.)
    • property checking (CTL and lang. empty.)
  • Simulation
  • Logic Synthesis (mainly via SIS right now)
• Main Properties
  • Interactive
  • Hierarchical
  • User controlled parameters

Next slide

Back to the first slide

View Graphic Version