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