Platform-based synthesis design methodology for system-on-chips | IEEE Conference Publication | IEEE Xplore