1. The Yorktown Silicon Compiler System;Brayton,1988
2. Knowledge based control in Micro-architectural Design;Brewer,1987
3. Synthesis of Concurrent Modular Controllers from Algorithmic Descriptions;Bruck,1986
4. Synthesis Techniques for Digital Systems Design;Camposano,1985
5. Synthesizing Circuits from Behavioral Descriptions;Camposano;IEEE Trans. CAD,1989