Generation of hardware machine models from instruction set descriptions | IEEE Conference Publication | IEEE Xplore