Principles of Verifiable RTL Design A functional coding style supporting verification processes in Verilog - Bening, Lionel; Foster, Harry (Springer US, 2001)