A rule-based logic circuit synthesis system for CMOS gate arrays. - Takao Saito; Hiroyuki Sugimoto; Masami Yamazaki; Nobuaki Kawato (DAC, 1986)