Principles Of Verifiable Rtl Design door Hal Foster & L. Bening