As part of my master’s thesis, I am working on the OpenVADL project. OpenVADL is an implementation of the processor description language VADL. The focus of my work is on the development of the intermediate representation and automatic generation of the ISS on the basis of QEMU.
Take a look at the project page for more information.