Multilevel logic network synthesis system, SYLON-XTRANS and read-only memory minimization procedure, MINROM - Xuequn Xiang (1990)