ZIB

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Unbekannt

Property Checking with Constraint Integer Programming (2007)

Achterberg, Tobias ; Brinkmann, Raik ; Wedler, Markus

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 2021-08-05

Beschreibung: We address the property checking problem for SoC design verification at the register transfer level (RTL) by integrating techniques from integer programming, constraint programming, and SAT solving. Specialized domain propagation and preprocessing algorithms for individual RTL operations extend a general constraint integer programming framework. Conflict clauses are learned by analyzing infeasible LPs and deductions, and by employing reverse propagation. Experimental results show that our approach outperforms SAT techniques for proving the validity of properties on circuits containing arithmetics.

Schlagwort(e): ddc:510

Sprache: Englisch

Materialart: reportzib , doc-type:preprint

Format: application/pdf

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

OPUS

PDF

Überblick

Treffer 1 - 1 | 1 Treffer