A model and methodology for hardware-software codesign | IEEE Journals & Magazine | IEEE Xplore