The Veriloga(r) Hardware Description Language by Donald B. Thomas