Kevin Laeufer

This PR upgrades chiselwatt to work with the most recent 3.5 release of Chisel.

Incorrect Error Message in Data.connect(...)

9

In https://github.com/freechipsproject/chisel3/blob/master/chiselFrontend/src/main/scala/chisel3/Data.scala#L377: ```.scala requireIsHardware(this, "data to be connected") requireIsHardware(that, "data to be connected") ``` The first error message is incorrect. It should be something like `left hand side of the...

[Work in Progress] AXI4 bundle definitions for the standard library

11

Very much work in progress, just collecting some thought for now. Existing implementations: - [riscv-min](https://github.com/ucb-bar/riscv-mini/blob/52904f3b6b459da3d6b95dcbd82c6ef91232f966/src/main/scala/junctions/nasti.scala) - [rocket-chip](https://github.com/chipsalliance/rocket-chip/blob/b36060ebe7bd821ea4b4d1dd2aa9e6d38e7d01b4/src/main/scala/amba/axi4/Bundles.scala) - [chisel-bfm-tester](https://github.com/j-marjanovic/chisel-bfm-tester/blob/0e36f45e7db9a5d2cc94d2d5920aea8c72533537/src/main/scala/bfmtester/AxiIf.scala) - [tensil](https://github.com/tensil-ai/tensil/blob/674184817cbfec868a2489e05f4eea61658a31ba/rtl/src/main/scala/tensil/axi/Master.scala) - [axi-in-chisel](https://github.com/maltanar/axi-in-chisel/blob/789f5153da68ba1d5f46c71e126be8d89c2e76d9/AXIDefs.scala) - [fpga-tidbits](https://github.com/maltanar/fpga-tidbits/blob/a6b4c6ce090e4a2592f62e0c5ccc4ca12766e6ce/src/main/scala/fpgatidbits/interfaces/AXIDefs.scala) - [axi-nodes](https://github.com/yamak/axi-nodes) _this library is...

add chisel level interface to PresetAnnotation

2

### Contributor Checklist - [x] Did you add Scaladoc to every public function/method? - [x] Did you add at least one test demonstrating the PR? - [x] Did you delete...

Verification Statements do not support Printable

1

**Type of issue**: feature request **Impact**: API addition (no impact on existing code) Currently the Verification Statements (i.e. `assert` and `assume`) can take additional arguments that will result in a...

In the following SMT file, the call to `get-value` in the last line causes yices to crash. I am using a recent build of yices2 from [oss-cad-suite](https://github.com/YosysHQ/oss-cad-suite-build): ``` > yices-smt2...

This is a reminder to myself to add the chisel example to CI and to add some documentation for it. See: https://github.com/im-tomu/fomu-workshop/pull/382

Rename xpcc "SmartPointer"

3

So I just stumbled upon the xpcc `xpcc::SmartPointer` which confused me for a while, until I had a look at the implementation. While it might not have been the case...