Experimental results on the impact of factorization and technology independent mapping options on multilevel synthesis

Permanent research efforts are made on various factorization options (algebraic and boolean techniques, extensive use of don't care. . .). In parallel, similar efforts have been put on adequate factorization improvements or modifications (controlled collapsings) to prepare critical path optimization. The authors investigate the practical efficiency of all these options and report on experimental results when using the combination of all these options in two well known reference synthesis systems (SIS from Berkeley and ASYL from Grenoble).<>