A codesign environment supporting hardware/software modeling at different levels of detail | IEEE Conference Publication | IEEE Xplore