Masahiro Fujita, Hideo Tanida, Fei Gao, Tasuku Nishihara, Takeshi Matsumoto. Synthesis and formal verification of on-chip protocol transducers through decomposed specification. In 11th International Symposium on Quality of Electronic Design (ISQED 2010), 22-24 March 2010, San Jose, CA, USA. pages 515-523, IEEE, 2010. [doi]
@inproceedings{FujitaTGNM10,
title = {Synthesis and formal verification of on-chip protocol transducers through decomposed specification},
author = {Masahiro Fujita and Hideo Tanida and Fei Gao and Tasuku Nishihara and Takeshi Matsumoto},
year = {2010},
doi = {10.1109/ISQED.2010.5450526},
url = {http://dx.doi.org/10.1109/ISQED.2010.5450526},
tags = {protocol},
researchr = {https://researchr.org/publication/FujitaTGNM10},
cites = {0},
citedby = {0},
pages = {515-523},
booktitle = {11th International Symposium on Quality of Electronic Design (ISQED 2010), 22-24 March 2010, San Jose, CA, USA},
publisher = {IEEE},
isbn = {978-1-4244-6455-5},
}