Digital System Verification by Mitchell Thornton & Lun Li