High level equivalence symmetric input identification. - Ming-Hong Su; Chun-Yao Wang (ASP-DAC, 2006)