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]

@inproceedings{Lotfi-KamranHSMN05,
  title = {TED+: a data structure for microprocessor verification},
  author = {Pejman Lotfi-Kamran and Mohammad Hosseinabady and Hamid Shojaei and Mehran Massoumi and Zainalabedin Navabi},
  year = {2005},
  doi = {10.1145/1120725.1120964},
  url = {http://doi.acm.org/10.1145/1120725.1120964},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/Lotfi-KamranHSMN05},
  cites = {0},
  citedby = {0},
  pages = {567-572},
  booktitle = {Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005},
  editor = {Ting-Ao Tang},
  publisher = {ACM Press},
  isbn = {0-7803-8737-6},
}