Digital System Verification door Mitchell Thornton & Lun Li