Cross-correlation of specification and RTL for soft IP analysis | IEEE Conference Publication | IEEE Xplore