Simulation vs.Formal Verification - cont’d

Simulation vs.Formal Verification - cont’d

• Simulation is still a good and fast way to verify early design
• Formal verification gives additional confidence in correctness
• Two techniques are complementary
• VIS supports both formal verification and simulation

Previous slide

Next slide

Back to the first slide

View Graphic Version