SoC synthesis with automatic hardware-software interface generation | IEEE Conference Publication | IEEE Xplore