"Synthesis of Processor Instruction Sets from High-Level ISA Specifications."

Andrey Mokhov et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics