AATMA: an algorithm for technology mapping for antifuse-based FPGAs | IEEE Conference Publication | IEEE Xplore