circt
circt copied to clipboard
llvm
Circuit IR Compilers and Tools
RegisterReadPort currently calls the default underlying `connect()` function, which forces a port to be a polling port. https://github.com/llvm/circt/blob/34c73c35c89588c84f695c6021f8c74ec6337d2d/lib/Dialect/ESI/runtime/cosim/lib/RpcServer.cpp#L170-L176 There should be some way of registering a callback port, i.e. by...
I'm not sure if this is a bug. If a constant e.g. `channelId` propagating to DPI function, it will be eliminated. I'm currently using a `dontTouch` to work around, but...
If we bump llvm to include https://github.com/llvm/llvm-project/pull/96329 we get a new error: ``` ******************** TEST 'CIRCT :: Conversion/LLHDToLLVM/convert_signals.mlir' FAILED ******************** Exit Code: 2 Command Output (stderr): -- RUN: at line...
Due to historical circumstances, the SFC parser for FIRRTL treated commas (`,`) as whitespace. This behavior was carried over into the CIRCT implementation of `firtool`. This behavior is utterly bizarre....
The scheduling library has a dependency on or-tools, which has a dependency on a library called 'Abseil' (or absl). The ESI runtime has a dependency on gRPC, which has a...
Builds on LHSType PRs. Enable StrictWire Conversion late in the pipeline. Update LowerToHW to work with these. Subsequent PRs will move this earlier as more passes support these ops. Subsequent...
I use `WireDefault` to work around, but I think this is a bug which should be fixed by CIRCT:)
The current version of DPI-C cannot encode arg name of function call, if there are too much args, it will cause naming hell. see example: ```verilog import "DPI-C" function void...
[WIP] The goal of this PR is to introduce a first round of new test intent operations, for formal tests this time, to the verif dialect following [this proposal document](https://docs.google.com/document/d/1Ez6YosgVYuMtDg1MvBL8u9AMmntMARXhXofn_BcXlA4/edit?usp=sharing)....
Example pass to covert wires to strict wires. Builds on #7119 and #7166