MicroTESK

It would be nice to have an automatic ISA reference manual generator (a translator from nML specifications to human-readable documentation).

1. For each register set, the manual should include its description (including register mnemonics and aliases).
2. For each instruction, the manual should include its mnemonic, syntax, image and pseudo-code.
3. Remember, instruction is not an operation! In a typical case, each instruction is composed of several operations.
4. If an instruction is specified by using auxiliary variables, declaration of those variables should be included into the instruction pseudo-code (if some variables are shared by several instructions, their declarations should be duplicated).
5. There should be a table of content and an index.

To implement an expression printer, use MapBasedPrinter. Here is an example: http://forge.ispras.ru/projects/solver-api/repository/entry/trunk/fortress/src/main/java/ru/ispras/fortress/expression/printer/VerilogExprPrinter.java

I suggest using the "MIPS64 Architecture for Programmers" manual (volume II) as an example: http://equipe.nce.ufrj.br/gabriel/arqcomp2/MIPS64_Instruction_Set_v0.95.pdf