Principles of verifiable RTL design a functional coding style supporting verification processes in Verilog - Bening, Lionel (Kluwer Academic Publishers, 2000)