Novel library of logic gates with ambipolar CNTFETs: Opportunities for multi-level logic synthesis