circt
circt copied to clipboard
llvm
Circuit IR Compilers and Tools
If I understand IEEE 1800-2017 §7.4.6 Indexing and slicing of arrays right, an unpacked array slice should be 0/X in its entirety even if only a part of the slice...
Operations like `hw.array_get` produce undefined result values, but no immediate UB. OOB loads in LLVM can cause immediate UB, so the lowerings should guard against that.
Hi! I'm trying to use circt for lowering to LLVM IR. I found such a construction in some example: ```verilog module Mod (input clk, input a, input b, output logic[1:0]...
The array slice case is not fixed yet. I couldn't really find a part in the SV standard about signed/unsigned indexing. I assume always interpreting the index operand as unsigned...
The arcilator-runtime.h and python script are not installed and thus not included in pre-built releases. For more information: https://discourse.llvm.org/t/proper-way-to-obtain-arcilator-runtime-h-for-c-integration/84553
CIRCT’s [static scheduling infra](https://circt.llvm.org/docs/Scheduling/#available-problem-definitions) defines 6 different types of problems: > - [Problem](https://circt.llvm.org/doxygen/classcirct_1_1scheduling_1_1Problem.html): A basic, acyclic problem at the root of the problem hierarchy. Operations are linked to operator types,...
The following crashes due to an unattached region when calling `getValuesToObserve`. ```mlir moore.module @crash(in %in0: !moore.i32, in %in1: !moore.i32) { %var = moore.variable : moore.procedure always_comb { %0 = moore.pows...
The circt-bmc pipeline currently doesn't support symbolic values. This feels like it might actually not be too hard to do, since we already support primary inputs. Would this be something...
Following up from a discussion in today's Dev Meeting (cc @mikeurbach). I'm trying to do some analysis of circuits (starting from Chisel in my case), and am having trouble getting...
**What I did before:** ``` $ git clone [email protected]:llvm/circt.git $ cd circt $ git submodule init $ git submodule update $ mkdir llvm/build $ cd llvm/build $ cmake -G Ninja...
