LISA-machine description language and generic machine model for HW/SW co-design | IEEE Conference Publication | IEEE Xplore