nML Lighter is a plugin for IntelliJ IDEA that provides a code editor for the nML architecture decription language.
The plugin is developed by Dagvanorov Lkhagvajav as his course work at Faculty of Computer Science of Higher School of Economics. The supervisor is Andrei Tatarnikov.
The code editor is designed as a supplement for the MicroTESK verification framework and is based on the same dialect of nML.
nML-related presentations
- Video of the "Machine-Readable Specifications of RISC-V ISA" presentation by Alexander Kamkin done at RISC-V Summit in 2018.
nML-related publications
- M. Freericks. The nML Machine Description Formalism.
- M. Freericks et al. Describing Instruction Set Processors Using nML.
- A. Kamkin, A. Tatarnikov et al. Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units.
- A. Kamkin, A. Tatarnikov et al. MicroTESK: Specification-Based Tool for Constructing Test Program Generators.
- A. Kamkin, A. Tatarnikov et al. Maintaining ISA Specifications in MicroTESK Test Program Generator.
- A. Kamkin, A. Tatarnikov et al. Test Program Generator MicroTESK for RISC-V.
- A. Kamkin, P. Putro et al. Deductive Binary Code Verification Against Source-Code-Level Specifications.
