Video: How to Know When a Formal Testbench is Complete

Decoding Formal Video Tutorial Series: How to Know When a Formal Testbench is Complete

This is an important problem because if you have decided to replace simulation with formal verification on a block you are working on, you want to know when to sign off with the work you have done. Three factors determine whether or not you are done with your formal testbench: constraints, checkers, complexity.

1 thought on “Video: How to Know When a Formal Testbench is Complete”

  1. Pingback: Oski Technology at DAC 2013 | Oski Technology

Comments are closed.