Principles of Verifiable Rtl Design door Harry D. Foster, Lionel Bening & Harry Forster