A Methodology for Constraint-Driven Synthesis of On-Chip Communications | IEEE Journals & Magazine | IEEE Xplore