Beschreibung
The result looked at first as unexpected, however, an attentive reflection reveals that in a formal verification setting, adding more dependencies to an assertion reduces the number of states that the formal verification tool needs to explore in order to prove whether the assertion is true or false. This also explains why the merged Karnaugh maps did exceptionally well while the heuristics test did poorly in comparison. In a formal setting, merging Karnaugh maps allowed IFV to prove the assertion set 4 times faster than the initial non-optimized set of non-redundant assertions.
Autorenporträt
Danny Sarraf completed his master's degree in Electrical Engineering under the supervision of Dr. Zeljko Zilic, at McGill University in Montreal, Canada. Danny Sarraf has experience working as a hardware verification engineer in several companies and specializes in assertion-based verification and constraint random verification.
Herstellerkennzeichnung:
BoD - Books on Demand
In de Tarpen 42
22848 Norderstedt
DE
E-Mail: info@bod.de
