Behavioral synthesis digital system design using the Synopsys Behavioral Compiler - Knapp, David W (Prentice Hall, 1996)