Hardware Accelerated Functional Verification, Fachbücher von Marcela Simková

Das Buch "Hardware Accelerated Functional Verification" von Marcela Simková bietet eine umfassende Untersuchung der funktionalen Verifikation von Hardwaresystemen. In Anbetracht der steigenden Komplexität moderner Hardware ist die Notwendigkeit, effektive Techniken zur Beschleunigung des Verifikationsprozesses zu entwickeln, von grosser Bedeutung. Die Autorin präsentiert ein innovatives Verifikationsframework, das die Technologie von Field-Programmable Gate Arrays (FPGAs) nutzt, um eine zyklengenaue Beschleunigung der simulationsbasierten Verifikation zu ermöglichen. Gleichzeitig bleibt die Möglichkeit bestehen, die Verifikation in einer benutzerfreundlichen Debugging-Umgebung eines Simulators durchzuführen. Das Framework ist in SystemVerilog geschrieben und orientiert sich an den Prinzipien der funktionalen Verifikationsmethoden, was seine Anwendbarkeit in verschiedenen Bereichen der Hardwareverifikation erweitert. Die durchgeführten Experimente zeigen, dass die erreichte Beschleunigung proportional zur Anzahl der überprüften Transaktionen und der Komplexität des verifizierten Systems ist, wobei eine maximale Beschleunigung von über 130-fach erzielt wurde.