TED+: a data structure for microprocessor verification.

Pejman Lotfi-Kamran, Mohammad Hosseinabady, Hamid Shojaei, Mehran Massoumi, Zainalabedin Navabi

Browse the full ASPDAC paper archive.