Synthesis and formal verification of on-chip protocol transducers through decomposed specification | IEEE Conference Publication | IEEE Xplore