Constraint-Based Verification, Fachbücher von Jun Yuan, Carl Pixley, Adnan Aziz

Das Buch "Constraint-Based Verification" bietet eine umfassende Einführung in ein aufstrebendes Gebiet der funktionalen Verifikation elektronischer Designs. Es behandelt die Anwendung von constraints, auch bekannt als Assertions, zur Automatisierung der Testbench-Generierung und zur Schaffung eines nahtlosen Verifikationsflusses. Die Autoren, Jun Yuan, Carl Pixley und Adnan Aziz, beleuchten sowohl dynamische als auch statische Verifikationsansätze, einschliesslich Simulation, Emulation und formalen Methoden. Das Werk richtet sich an Verifikationsingenieure und Forscher und behandelt sowohl methodische als auch technische Fragestellungen. Besondere Aufmerksamkeit wird den neuesten Fortschritten in der funktionalen Verifikation gewidmet, die in kommerziellen Werkzeugen wie Vera und System Verilog Anwendung finden.