Project

General

Profile

Actions

Task #5732

closed

ISA reference manual generation

Added by Alexander Kamkin about 9 years ago. Updated about 4 years ago.

Status:
Rejected
Priority:
Normal
Category:
-
Target version:
Start date:
03/21/2015
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Published in build:

Description

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

Actions #1

Updated by Alexander Kamkin about 4 years ago

  • Status changed from New to Rejected
  • Assignee changed from Platon Bibik to Alexander Kamkin
Actions

Also available in: Atom PDF