Designing digital computing systems with Verilog / David J. Lilja and Sachin S. Sapatnekar. - Lilja, David J. (Cambridge University Press, 2005)