Formal deadlock checking on high-level SystemC designs.
https://doi.org/10.1109/ICCAD.2010.5653880
@inproceedings{DBLP:conf/iccad/ChouHCH10,
author = {Chun{-}Nan Chou and
Chang{-}Hong Hsu and
Yueh{-}Tung Chao and
Chung{-}Yang Huang},
editor = {Louis Scheffer and
Joel R. Phillips and
Alan J. Hu},
title = {Formal deadlock checking on high-level SystemC designs},
booktitle = {2010 International Conference on Computer-Aided Design, {ICCAD} 2010,
San Jose, CA, USA, November 7-11, 2010},
pages = {794--799},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICCAD.2010.5653880},
doi = {10.1109/ICCAD.2010.5653880},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iccad/ChouHCH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签