selected publications conference paper SMART: tools and methods for synthesis of VLSI chips with processor architecture. Design Automation Conference. 654-657. 1988