Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov. Maintaining ISA Specifications in MicroTESK Test Program Generator. In 18th International Workshop on Microprocessor and SOC Test and Verification, MTV 2017, Austin, TX, USA, December 11-12, 2017. pages 10-14, IEEE Computer Society, 2017. [doi]
Abstract is missing.