Lionel Bening, Harry Foster (auth.) - Principles of Verifiable RTL Design_ A Functional Coding Style Supporting Verification Processes in Verilog-Springer US (2002)
