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