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