Pejman Lotfi-Kamran, Mehran Massoumi, Mohammad Mirzaei, Zainalabedin Navabi. Enhanced TED: A New Data Structure for RTL Verification. In 21st International Conference on VLSI Design (VLSI Design 2008), 4-8 January 2008, Hyderabad, India. pages 481-486, IEEE Computer Society, 2008. [doi]