Formal for Over Constraint and Reachability Analysis
In this session, we’ll review what makes a design observable and controllable. Next, we’ll look at doing reachability analysis for understanding if a design is a good candidate for applying formal techniques. This can also be used in more advanced techniques for bounded proof analysis. We’ll also explore how reachability can be used in over constraint analysis.
