Principles Of Functional Verification [with Cdrom] door Sheldon Ross & Andreas Meyer