Accurate high-level modeling and automated hardware/software co-design for effective SoC design space exploration | IEEE Conference Publication | IEEE Xplore