Armin Biere, Nils Froleyks, Zhengqi Yu,
"Ternary Simulation as Abstract Interpretation (Work in Progress)"
: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 27. Workshop, 14. ? 15. Februar 2024, Serie ITG Fachberichte, Nummer 314, VDE Verlag, Seite(n) 148-151, 2-2024, ISBN: 978-3-8007-6267-5
Original Titel:
Ternary Simulation as Abstract Interpretation (Work in Progress)
Sprache des Titels:
Englisch
Original Buchtitel:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 27. Workshop, 14. ? 15. Februar 2024
Original Kurzfassung:
We introduce a formalization of ternary simulation as abstract interpretation along with a widening operator to speed up
convergence. With the same goal, we present a subsumption algorithm that can determine termination earlier than the
usual approach using hash sets. Additionally, we introduce a narrowing operator that utilizes recent advances in backbone
extraction, allowing to increase the overapproximation precision in simulation at any time. The experiments evaluate the
presented techniques in the context of hardware model checking.
Forschungs-