Algorithmic and Register-Transfer Level Synthesis by Robert A. Walker, D.E. Thomas & E.D. Lagnese