Enhanced TED: A New Data Structure for RTL Verification.

Pejman Lotfi-Kamran, Mehran Massoumi, Mohammad Mirzaei, Zainalabedin Navabi

Browse the full VLSID paper archive.