Matthieu Baty

`typing error: unkown name ` should read `typing error: unknown name `. This comes from line 345 of `pretyping.ml`.

Potential optimization in the RISC-V example

5

I noticed that the `getFields` function of the RISC-V example often gets called just to get the value of a single field (with calls along the line of `let funct3...

Avoidable stalling in the RISC-V example

2

`valid_rs1` and `valid_rs2` are never read in the RISC-V example. Making sure that the values really correspond to `rs1` or `rs2` instead of stalling whenever at least one of them...

Different behavior in simulation and FPGA

3

When synthesizing the RV32E example with the `unit/led` program on my TinyFPGA BX, the LED stays off. On the other hand, Cuttlesim and Verilator both behave as I expect them...

About the upcoming module system and Kôika's semantics

1

I'm interested in learning more about the upcoming module system. What are its main design objectives and how far along is it in its development? I also have one use...

Errors in examples/rv/MultiplierCorrectness.v

2

Most of the proofs of the lemmas defined in the file `examples/rv/MultiplierCorrectness.v` do not pass. I did not check them all individually, but most of them seem to be outdated....

The following circuit leads to a `firtool` crash: ``` circuit c: module c: wire w: {|a: UInt, b: UInt|} w is invalid ``` The backtrace is the following: ``` all...

[FIRRTL] Crash with const fields in enum types

2

The following circuit leads to a `firtool` crash: ``` circuit c: type enum = {|a: const UInt, b: UInt|} module c: ``` The backtrace is the following: ``` :0: error:...

[LowerSeqToSV] FIRRTL enum with clock field leads to invalid IR

1

_**Edit:** I initially noticed this behavior using a version of CIRCT that was a few months old but already included the changes from #6138. On commit 649ee55, this fails in...

I get the following error when I attempt to compile `examples/cosimulation.v` : ``` /usr/bin/ld: blackbox.obj_dir.opt/verilated.o: in function `VerilatedContext::threadPoolp()': verilated.cpp:(.text+0x3212): undefined reference to `VlThreadPool::VlThreadPool(VerilatedContext*, unsigned int)' collect2: error: ld returned 1...