Eine Formalisierung der Hardwarebeschreibungssprache VHDL für die Hardware-Verifikation

Bok av Ralf Reetz