Andrey Mokhov, Alexei Iliasov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev, Alexander Romanovsky. Synthesis of Processor Instruction Sets from High-Level ISA Specifications. IEEE Transactions on Computers, 63(6):1552-1566, 2014. [doi]
@article{MokhovISRYR14,
title = {Synthesis of Processor Instruction Sets from High-Level ISA Specifications},
author = {Andrey Mokhov and Alexei Iliasov and Danil Sokolov and Maxim Rykunov and Alex Yakovlev and Alexander Romanovsky},
year = {2014},
doi = {10.1109/TC.2013.37},
url = {http://doi.ieeecomputersociety.org/10.1109/TC.2013.37},
researchr = {https://researchr.org/publication/MokhovISRYR14},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Computers},
volume = {63},
number = {6},
pages = {1552-1566},
}