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