Covering strategies for library free technology mapping

This paper compares dynamic methodologies for technology mapping targeting virtual libraries available through cell generators. Dynamic covering is reputed for being exact, but in fact its exactness depends on the ordering of the initial subject description. A new dynamic approach exploiting reordering of the initial description is proposed and compared to the traditional dynamic approach from SIS. The approach we propose is exact with respect to the number of multi-input complex gates. Main contributions are the description of the effect of reordering and the comparison between the approaches. A tool dedicated to library free technology mapping has been implemented to demonstrate the significance of the method.