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