A flexible specification framework for hardware-software codesign | IEEE Conference Publication | IEEE Xplore