Power reduction and technology mapping of digital circuits using AND-Inverter Graphs | IEEE Conference Publication | IEEE Xplore