Jeff Bush

As noted in issue #193, it appears Verilator version 4.030 crashes with an internal error: ``` %Error: Internal Error: NyuziProcessor/hardware/testbench/soc_tb.sv:377: ../V3LinkDot.cpp:2222: Couldn't resolve inlined scope 'unnamedblk1' in: unnamedblk1 : ......

Use multi-stage build to create CI container

1

Currently, the build container is created by copying files from the host install, which is messy and not fully reproducible: https://github.com/jbush001/NyuziProcessor/blob/master/scripts/build_container.sh Instead, use the new multi-stage build feature to Docker...

Templated verilator unit test generator

8

Currently the Verilator unit tests (in tests/unit) are unwieldy to maintain and extend. Because Verilator doesn't support behavioral delays, each test uses a cycle counter and a huge case statement....

Currently, the render tests compute a SHA-1 checksum of the output from the renderer, then compare that to a known value to determine if the test passes. This is fragile,...

Crash in kernel test: hello.c

4

Seen once on TravisCI, running tests/kernel/hello.c (in the emulator). Not consistently reproducible. ``` hello.c Process returned error: Loading segment 1 offset 00000000 vaddr 00001000 file size 00000c90 mem size 00000c90...

Revise instruction encoding

9

The current encoding leaves gaps of unused encoding space. Unlike other architectures, the instruction format is explicitly encoded in the instruction, rather than being implied by the opcode. This encoding...

Crash in quakeview

1

This appears to be a new issue 1. Start quakeview in emulator 2. Hold up arrow 3. After 5 frames, it will crash: ``` Memory access out of range 81cfbe80...

test_harness.py should allow adding tags to tests and filter running tests by those tags. For example, tests could be tagged as exercising emulator, hardware, or software (with some tests belonging...

Verilator coverage testing

1

Collect coverage information at end of tests. https://www.veripool.org/projects/verilator/wiki/Manual-verilator 1. Pass --coverage option to verilator in makefile 2. Modify c++ test harness to VerilatedCov::write into an output file. There will be...

Allow emulation of bootloader

1

In emulator, add option to create a TTY that is connected to the serial port, so the serial_boot program can run against it and test uploading a program. https://gist.github.com/jbush001/c69699145c17597082c06566b8fcde15