QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification.
https://doi.org/10.1007/978-3-642-28756-5_26
@inproceedings{DBLP:conf/tacas/YehWH12,
author = {Hu{-}Hsi Yeh and
Cheng{-}Yin Wu and
Chung{-}Yang (Ric) Huang},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {QuteRTL: Towards an Open Source Framework for {RTL} Design Synthesis
and Verification},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {377--391},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_26},
doi = {10.1007/978-3-642-28756-5\_26},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/YehWH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签