Optimizing Assertion Sets Using Logic Synthesis Techniques
-
- Englisch ausgewählt
Fr. 74.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
13.12.2013
Verlag
LAP LAMBERT Academic PublishingSeitenzahl
120
Maße (L/B/H)
22/15/0.8 cm
Gewicht
197 g
Sprache
Englisch
ISBN
978-3-659-49887-9
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.
Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung