High-Level Synthesis of Digital Circuits by Finding Fixpoints. - Lakshmikanth Ghatraju; Mostafa I. H. Abd-El-Barr; Carl McCrosky (EDAC-ETC-EUROASIC, 1994)