Correct Hardware Design And Verification Methods door Thomas Kropf, T.F. Melham & Laurence Pierre