Schuyler Eldridge

This was observed again here: https://travis-ci.org/bu-icsg/rocket-chip/builds/128411177 I have not yet been able to replicate this behavior locally.

Another one: https://travis-ci.org/bu-icsg/rocket-chip/builds/131861018 I can't replicate this when running on the FPGA and just spamming requests. This may have something to do with Travis, the Travis build environment, or something...

I have viewed the second bullet point as the critical problem and path to a solution. Chisel intermixes specification (IO) and implementation (module internals) whereas other languages opt to make...

This looks like a problem with the Scala FIRRTL compiler's broader "legalization" passes when generating Verilog and not a problem with the FIRRTL spec or with Verilator. For comparison, the...

I'm not an expert on SVA either, but this sounds like a proposal for synthesizable [covergroups/coverpoints](https://www.chipverify.com/systemverilog/systemverilog-covergroup-coverpoint) in FIRRTL and is leading towards also adding support for [coverpoint bins](https://www.chipverify.com/systemverilog/systemverilog-coverpoint-bins). I think...

FYI: MLIR FIRRTL Dialect added and uses an invalid expression in https://github.com/llvm/circt/commit/052de6df6f4ba9d0b75c7ef9966bf8f3a80a7433. This should enable better invalid-ness as specific values are now assigned invalid (and these can then be the...

@ekiwi: Currently CIRCT has an invalid value and is doing optimizations on it. This will result in the exact Verilog that you show in the above comment. (`out = in;...

Not that I'm aware of. The [current division folds](https://github.com/llvm/circt/blob/main/lib/Dialect/FIRRTL/FIRRTLFolds.cpp#L255) are: - `div(_, invalid) -> 0` - `div(a, a) -> 1` - `div(x, 1) -> x` (this is uncontroversial...) There is...

Thanks for the bug report, @johnsbrew. I have some questions... I think the output Verilog is actually malformed though. The only way that would be valid is if `ExampleBB` has...

I wasn't able to reproduce the `sbt test` failure locally for the three failing tests. I am using a newer version of Yosys (0.9+3762) whereas I think the tests are...