Enhanced TED: A New Data Structure for RTL Verification

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]

Authors

Pejman Lotfi-Kamran

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

Mehran Massoumi

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

Mohammad Mirzaei

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

Zainalabedin Navabi

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