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]

@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},
}