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