TED+: a data structure for microprocessor verification

Pejman Lotfi-Kamran, Mohammad Hosseinabady, Hamid Shojaei, Mehran Massoumi, Zainalabedin Navabi. TED+: a data structure for microprocessor verification. In Ting-Ao Tang, editor, Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005. pages 567-572, ACM Press, 2005. [doi]

Authors

Pejman Lotfi-Kamran

This author has not been identified. Look up 'Pejman Lotfi-Kamran' in Google

Mohammad Hosseinabady

This author has not been identified. Look up 'Mohammad Hosseinabady' in Google

Hamid Shojaei

This author has not been identified. Look up 'Hamid Shojaei' in Google

Mehran Massoumi

This author has not been identified. Look up 'Mehran Massoumi' in Google

Zainalabedin Navabi

This author has not been identified. Look up 'Zainalabedin Navabi' in Google