A framework for high-level synthesis of system on chip designs | IEEE Conference Publication | IEEE Xplore