SYLON-REDUCE: an MOS network optimization algorithms using permissible functions

An algorithm, SYLON-REDUCE, that uses the concept of permissible functions to optimize an MOS network directly is presented. SYLON-REDUCE uses a more coherent, algorithmic approach, adapting the MOS cell synthesis procedure of algorithm DIMN, to resynthesize the cells in the network. Better networks can be obtained for most functions. It is shown that technology-specific synthesis and optimization can produce better results than dividing synthesis into technology-independent and technology-mapping phases.<<ETX>>

[1]  Gary D. Hachtel,et al.  BOLD: The Boulder Optimal Logic Design system , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume 1: Architecture Track.

[2]  Yahiko Kambayashi,et al.  The Transduction Method-Design of Logic Networks Based on Permissible Functions , 1989, IEEE Trans. Computers.

[3]  Robert K. Brayton,et al.  MIS: A Multiple-Level Logic Optimization System , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[4]  Saburo Muroga,et al.  SYLON-DREAM: a multi-level network synthesizer , 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[5]  Hung Chi Lai,et al.  Automated Logic Design of Mos Networks , 1985 .

[6]  S. Muroga,et al.  A logic network synthesis system, SYLON , 1989, Proceedings 1989 IEEE International Conference on Computer Design: VLSI in Computers and Processors.

[7]  Hung Chi Lai,et al.  Design of MOS networks in single-rail input logic for incompletely specified functions , 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..