A technique for identifying RTL and gate-level correspondences | IEEE Conference Publication | IEEE Xplore