Computer-Architektur: Modellierung, Entwicklung und Verifikation mit Verilog