Synthesis and simulation of digital systems containing interacting hardware and software components | IEEE Conference Publication | IEEE Xplore