Principles of Verifiable RTL Design A Functional Coding Style Supporting Verification Processes in Verilog - Bening, Lionel; Foster, Harry (Springer US, 2000)