Synthesis of AMBA AHB from formal specification: a case study. Godhal, Y., Chatterjee, K., & Henzinger, T. A. International Journal on Software Tools for Technology Transfer, 15(5):585–601, 2013.
doi  bibtex   
@article{godhal_synthesis_2013,
	title = {Synthesis of {AMBA} {AHB} from formal specification: a case study},
	volume = {15},
	doi = {10/c5xbtm},
	number = {5},
	journal = {International Journal on Software Tools for Technology Transfer},
	author = {Godhal, Yashdeep and Chatterjee, Krishnendu and Henzinger, Thomas A.},
	year = {2013},
	pages = {585--601},
}

Downloads: 0