Vyhledat

Should I Kill My Formal Run - Part 1: What You Can Do While the Formal Run is In-Progress

Technická podpora

(+420) 728 304 701

CADware s.r.o. » Aktuálně » Výstavy a semináře » Should I Kill My Formal Run - Part 1: What You Can Do While the Formal Run is In-Progress

17. 9. 2019 17:00 - 18:00 SELČ online webinář

Imagine you have a formal job currently running in another window, and you are in a quandary about whether to keep it going or to kill it to save computer resources and time. In this segment we will show you the information you can use to decide whether to continue or stop. 

what You Will Learn:
How to monitor the formal engines’ “health” in real time
Why a given property analysis might be getting stuck
How to check that a run’s behavior is consistent with the expected alignment between the DUT’s structure and the formal engines’ algorithmic strengths
Leveraging all of the above to make the final “continue or start over” decision

Na tento online seminář se můžete registrovat také přímo ze stránek společnosti Mentor.

Více o programu ModelSim