Xi Chen, Abhijit Davare, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe. Simulation based deadlock analysis for system level designs. In William H. Joyner Jr., Grant Martin, Andrew B. Kahng, editors, Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005. pages 260-265, ACM, 2005. [doi]
@inproceedings{ChenDHSW05,
title = {Simulation based deadlock analysis for system level designs},
author = {Xi Chen and Abhijit Davare and Harry Hsieh and Alberto L. Sangiovanni-Vincentelli and Yosinori Watanabe},
year = {2005},
doi = {10.1145/1065579.1065647},
url = {http://doi.acm.org/10.1145/1065579.1065647},
tags = {rule-based, analysis},
researchr = {https://researchr.org/publication/ChenDHSW05},
cites = {0},
citedby = {0},
pages = {260-265},
booktitle = {Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005},
editor = {William H. Joyner Jr. and Grant Martin and Andrew B. Kahng},
publisher = {ACM},
isbn = {1-59593-058-2},
}