Fast cycle-accurate simulation and instruction set generation for constraint-based descriptions of programmable architectures | IEEE Conference Publication | IEEE Xplore