Principles of Verifiable Rtl Design: A Functional Coding Style Supporting Verification Processes in Verilog (Paperback, Softcover Repri)