selected publications conference paper Fast cycle-accurate simulation and instruction set generation for constraint-based descriptions of programmable architectures. . 2004