Application of Boolean unification to combinational logic synthesis
Masahiro Fujita, Yutaka Tamiya, Yuji Kukimoto, K.-C. Chen · 2002
The authors present various applications of Boolean unification to combinational logic synthesis. Three topics of combinational logic synthesis are discussed: redesign, multilevel logic minimization, and minimization of Boolean relations. All of these problems can be uniformly formalized as Boolean unification problems. Experimental results are also reported.>