High level equivalence symmetric input identification | IEEE Conference Publication | IEEE Xplore