In this session we assume you are about to kick off a formal analysis, and want to make sure you will avoid the most obvious pitfalls in setting up your formal testbench, the DUT, and the runner scripting.
What You Will Learn
- How you can setup your formal testbench for success by writing assertions, constraints, and cover properties in a “formal friendly” coding style
- What types of logic in your DUT will likely lead to trouble (in particular, deep state space creators like counters and RAMs), and how to effectively handle them via non-destructive black boxing or remodeling
- How to setup the run-time multicore configuration and formal engine specifications to best leverage your available compute resources