Bening, Lionel  Foster, Harry <br/><br/>
Principles of Verifiable RTL Design. A Functional Coding Style Supporting Verification Processes in Verilog. Second Edition   

 -  Kluwer Academic Publishers  2001. 
 - 306 Pages 
<br/><br/><label>ISBN: </label>0306476312 
<br/><br/><label>Dewey Class. No.: </label>621.39/5  /