Rupert Swarbrick

This issue separately tracks a specific part of issue #674. The Makefile in `dv/uvm/core_ibex/Makefile` tries to be careful to regenerate targets if you change an option. This way, we ensure...

This almost gets rid of all the hacks in the design code. Unfortunately, there's still one problem (can't pass unpacked arrays as ports) that we have to work around, but...

Check at top of coq.el doesn't work properly when proof-assistant is not bound

4

I've got a broken proof-general install, which I'm trying to debug and sort out. However, this is tickling a bug at the top of `coq.el`, which has the following code:...

If I build coreir like this: cmake .. -DCMAKE_INSTALL_PATH=/opt/coreir make -j4 make install The RPATH-hacking code in src/CMakeLists.txt seems to successfully populate DT_RUNPATH in /opt/coreir/lib/libcoreir.so, but not in /opt/coreir/lib/libcoreir-c.so and...

Teach cfg_t to "freeze" and add isa parsing to it

3

*Split out from #938* The idea here is that we want to compute some "derived" configuration in `cfg_t`, which can depend on more than one of the config arguments. Specifically,...

Move towards configuring Spike through a device tree

1

*This is a long series of commits (sorry!) and is reasonably invasive. I'm very happy to split the PR into several pieces to be merged separately if that's more helpful,...

This spits out quite an impressive ream of text, making --verbosity=medium less useful than it might be. Looking at the history of the file, I think this message got promoted...

### Description This seems to be independent of the seed. For an example, run: ``` util/dvsim/dvsim.py hw/ip/otbn/dv/uvm/otbn_sim_cfg.hjson -i otbn_multi_err --fixed-seed 123 ``` You'll get the following assertion failure: ``` xmsim:...

This fixes issue #21517. The first two three commits have no functional change, but make the code a bit easier to read. Following that is a change to the frontdoor...