Skip to content

Latest commit

 

History

History
97 lines (75 loc) · 3.43 KB

README.md

File metadata and controls

97 lines (75 loc) · 3.43 KB

OTBN Random Instruction Generator

This directory contains a random instruction generator for OTBN called otbn-rig. This is intended to be run in multiple phases. If you just want to generate some random binaries, it might be easier to call the wrapper at ../uvm/gen-binaries.py.

At the moment, there are two sub-commands: gen and asm. In future, we might add more (to do things like test case mutation or shrinking).

The gen command

The gen command is in charge of actually generating a random program. This program is written to stdout in an JSON format. This format may change over time, but it is understood by the asm command.

Example usage:

hw/ip/otbn/dv/rig/otbn-rig gen --seed 123 --size 1000 >foo.json

To control random generation, there is a --seed parameter. The output should be stable for a fixed seed. If not specified, the seed is zero.

The size parameter

The --size parameter is used to control how big the program grows. A snippet with a single unconditionally executed instruction has a size of one. A snippet containing a sequence of N instructions has a size of N. For a more interesting example, consider an if/else branch that would look something like this in C:

    if (A) {
        B;
    } else {
        C;
    }

If calculating A takes a cycles and B and C have a size of b and c respectively, then the entire snippet has size a + max(b, c). The general idea is that the size taken by a snippet is an upper bound on the number of instructions that it causes the processor to execute. This might not be a strict upper bound: for example, it won't be strict if a != b in the if/else snippet above.

Snippets

The random program is built from blocks called "snippets". The simplest possible snippet is a sequence of straight-line instructions. There are also more complicated snippets like conditional branches and loops. The JSON output format represents this tree of snippets.

Initialised data

The generated program is designed never to trigger architecturally unspecified behaviour. It might trigger errors, but its execution will never depend on things like the initial contents of the register file or uninitialised memories.

To provide some data so that RIG can generate load instructions even near the start of the run, the generated program also includes a few words of (randomly) initialised data, scattered around dmem.

The asm command

Once a random program has been generated, the asm command can be used to convert it to an assembly listing. This, in turn, can be assembled and linked using the toolchain in hw/ip/otbn/util.

Unlike the gen command, this step does no random generation: it's a deterministic translation from the JSON input to assembly and linker script output.

Example usage:

hw/ip/otbn/dv/rig/otbn-rig asm --output foo foo.json

When given the --output parameter, this command generates two output files. With --output foo, it generates foo.s and foo.ld. These are an assembly listing and a linker script, respectively.

To assemble and link, use commands like:

hw/ip/otbn/util/otbn_as.py -o foo.o foo.s
hw/ip/otbn/util/otbn_ld.py -o foo.elf -T foo.ld foo.o

This is automated in the gen-binaries.py wrapper described above.

Occasionally, it's helpful to just read the assembly listing for a JSON file. To do this, run the command with no --output parameter to see the assembly listing on stdout. The linker script will not be generated.