The Functional Verification of Electronic Systems by Brian Bailey | Menrva Books | MenrvaBooks