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]
@inproceedings{Lotfi-KamranMMN08,
title = {Enhanced TED: A New Data Structure for RTL Verification},
author = {Pejman Lotfi-Kamran and Mehran Massoumi and Mohammad Mirzaei and Zainalabedin Navabi},
year = {2008},
doi = {10.1109/VLSI.2008.108},
url = {http://doi.ieeecomputersociety.org/10.1109/VLSI.2008.108},
tags = {data-flow},
researchr = {https://researchr.org/publication/Lotfi-KamranMMN08},
cites = {0},
citedby = {0},
pages = {481-486},
booktitle = {21st International Conference on VLSI Design (VLSI Design 2008), 4-8 January 2008, Hyderabad, India},
publisher = {IEEE Computer Society},
}