A language for automatic generation of fast instruction-set compiled simulators | IEEE Conference Publication | IEEE Xplore