Enhanced TED: A New Data Structure for RTL Verification | IEEE Conference Publication | IEEE Xplore