Mappings and algorithms for gate modeling in a digital simulation environment | IEEE Journals & Magazine | IEEE Xplore