"Principles of Verifiable RTL Design 2nd Edition - A Functional Coding Style Supporting Verification Processes in Verilog " - читать интересную книгу автора (Lionel Bening, Harry Foster)