Correct Hardware Design And Verification Methods door Daniel Geist & Enrico Tronci