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.<
>