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]
Abstract is missing.