Keyi Zhang

Adding task to fault

4

I'm in the process of rewriting tbg to support more complex configuration semantics. One challenging part is to dynamically select signals based on the signal values. It's typically done via...

Extremely low performance for large test vectors

22

When I did an exhaustive test on floating points, I noticed performance issue with fault generated testbench. The test vectors size is 0x500 * 0x500 = 0x190000 ~ 1 million...

fork/join Proposal

1

## Proposed semantics The fork process is designed to be similar to `Loop`: ```Python process_1 = tester.fork() process_2 = tester.fork() process_1.poke(circ.I0, 1) process_2.poke(circ.I1, 2) process_1.expect(circ.O0, 3) process_2.expect(circ.O1, 4) tester.join(process_1, process_2)...

Unable to parse DPI calls

3

Error: ``` def _parse_error(self, msg, coord): > raise ParseError("%s: %s" % (coord, msg)) E pyverilog.vparser.plyparser.ParseError: :1: before: import ``` SV: ``` import "DPI-C" function void breakpoint_trace(input int instance_id, input int...

Allow trace in verilator

3

in `verilator_utils.py`, function `verilator_cmd()` provides a way to construct verilator commands. I think it would be nice to have an option to enable trace, which will making debugging much easier.

Minor improvements and speedups in deps.sh

2

1. add library check before installation; 2. configure Boost.Build to only compile necessary libraries; 3. clone with` --depth 1` to reduce downloading time (ffmpeg's git server return error with depth,...

GCC 4.8+ suffers from dual ABI string (see [here](https://stackoverflow.com/a/45420647). This is the main cused of all the segfault and `bad_alloc` bug we've seen earlier. This problem is solved by using...

This will allow compiler to optimize the coreir libraries. Based on my experiments, using `-O3` reduces `garnet` compilation by 20% (15-20s).

I'm trying to build the entire CGRA flow in docker and it seems like cxxopt.hpp is causing seg fault. Buld history can be seen here: https://travis-ci.com/Kuree/GarnetFlow/builds/110596805 Here is the trace...

This PR fixes a bug due to ioctl command changes in Zynq kernel drivers.