A Semantic Approach for Modular Synthesis of VLSI Systems.

M. Balakrishnan S. Sutarwala Arun K. Majumdar Dilip K. Banerji James G. Linders A Semantic Approach for Modular Synthesis of VLSI Systems. 1-7 1988 27 Inf. Process. Lett. 1 db/journals/ipl/ipl27.html#BalakrishnanSMBL88