“…The targets of latest improvements in combinational logic synthesis are refined covering algorithms [Cou92,Lia97,Gol97], optimizations on networks described using black boxes [Liu97], power optimization [Nar97,Tiw96], etc. Similarly, the research activity in technology mapping has been streamlined towards library- [Gav97,Ped96] and LUT-targeted [Hua96,Con96a] algorithms.…”