circt
circt copied to clipboard
llvm
Circuit IR Compilers and Tools
This PR is aimed to provide unpacked array concatenation. ``` // unpacked array concatenation string s[] = { "hello", "sad", "world" }; // string concatenation string = { "hello", "sad",...
I'm looking into the failing testcase for `real` constants [on sv-tests-results](https://chipsalliance.github.io/sv-tests-results/?v=circt_verilog+5.7.2+real-constants). Just want to put it up here to make sure no one else has already started working on it.
We are trying to link SystemVerilog against FIRRTL at CIRCT time. I'm requesting a API to expose SystemVerilog as FIRRTL Blackbox, being able to inspect via C-API, which can be...
Support for sized unpacked arrays in 'inside' expressions. Implementation recursively traverses the array to find the singular value and compares all found ones with the lhs, adding the condition results...
Add hover functionality to the CIRCT Verilog LSP server. The implementation adds hover support for Verilog symbols showing type information, definition location with source code, and links to source locations....
With these changes, ImportVerilog can now convert unpacked arrays to simple bit vectors and pass this [test](https://chipsalliance.github.io/sv-tests-results/?v=circt_verilog+7.4.3+operations-on-unpacked-arrays-equality).
This PR adds four new canonicalization patterns to FIRRTL. ``` mux(cond, 0, b) -> and(not(cond), b) mux(cond, 1, b) -> or(cond, b) mux(cond, a, 0) -> and(cond, a) mux(cond, a,...
We have a canonicalization which can replace a register with its reset value, if the reset signal is constantly high. However, the reset-value of a register does not have to...
Once we have bind ops in the FIRRTL dialect, we can drop the lowerToBind flag for FIRRTL instance ops. Users will have to create their own bind ops, rather than...
fstring type would never be on port from the current fir parser but it crashes at LowerToHW: ```mlir firrtl.circuit "Printf"{ // CHECK-LABEL: module Printf firrtl.module @Printf(in %clock: !firrtl.fstring) attributes {convention...