github.com/llvm/circt issues | Ecosyste.ms: OpenCollective

[LowerToHW] Wrap signed operands of `PrintFOp` in sv `$signed()`

ubfx opened this pull request 9 months ago

[NFC] Massive Export Verilog Speedup

darthscsi opened this pull request 9 months ago

[LowerToHW] Emission Option for verification flavors

uenoku opened this pull request 9 months ago

[Moore] Introduce a new operation - netOp for net declaration

cepheus69 opened this pull request 9 months ago

[SeqToSV] Fix the ordering of the memory/register random init fragments

nandor opened this pull request 9 months ago

[SeqToSV] Prepend RANDOMIZE-defining snippets

seldridge opened this pull request 9 months ago

[FIRRTL] Treat blackboxes in layers as "testbench"

seldridge opened this pull request 9 months ago

[firrtl] extmodules with HasBlackBoxInline instantiated only in a layer not emitted into layers location

mwachs5 opened this issue 9 months ago

[NFC] Make fewer copies of directions

darthscsi opened this pull request 9 months ago

[FIRRTL] Deprecate AssertAssume intrinsic and rename it to Assert

uenoku opened this pull request 9 months ago

[FIRRTL] LowerIntrinsics: rewrite to lower generic ops.

dtzSiFive opened this pull request 10 months ago

[FIRRTL] Add LowerIntmodules pass.

dtzSiFive opened this pull request 10 months ago

[FIRRTL] Change Port Direction attribute from an APInt to a DenseArray.

darthscsi opened this pull request 10 months ago

[FIRRTL] Add generic intrinsic op.

dtzSiFive opened this pull request 10 months ago

[Docs] GettingStarted: Fix images and LLVM/MLIR contributing guide

ubfx opened this pull request 10 months ago

[LowerToHW] Set fragments outside the parallel region

nandor opened this pull request 10 months ago

[FIRRTL] Cache a symbol table instead of doing linear lookups every instance.

darthscsi opened this pull request 10 months ago

[SMT] Add SMT-LIB export translation

maerhart opened this pull request 10 months ago

[FIRRTL] Generic intrinsic op, rewrite intmodules to ops, LowerIntrinsics as conversion

dtzSiFive opened this pull request 10 months ago

[NFCI] Declare common attributes for fmodule*

darthscsi opened this pull request 10 months ago

[FIRRTL] Add intrinsic for UNR only assume

uenoku opened this pull request 10 months ago

[OM] parsing depend on the ordering of Class

sequencer opened this issue 10 months ago

[SV][Verif] Extract verif ops in SVExtractTestCode

seldridge opened this pull request 10 months ago

[SV] SVExtractTestCode not Extracting Assert Properties

seldridge opened this issue 10 months ago

[FIRRTL] Add CreateCompanionAssume pass; Decouple UNROnlyAssume generation from AssertOp lowering

uenoku opened this pull request 10 months ago

[InferReadWrite] Update the heuristic to infer the enable signal

prithayan opened this pull request 10 months ago

[Seq] Erase memories with no read ports

nandor opened this pull request 10 months ago

[FIRRTL][NFC] Use underscores in documentation.

dtzSiFive opened this pull request 10 months ago

[ImportVerilog] Add assign and pre/post increment/decrement expressions

fabianschuiki opened this pull request 10 months ago

[FIRRTL] Make "intrinsic" name of intmodule mandatory.

dtzSiFive opened this pull request 10 months ago

[FIRRTL] Remove support for circt.Intrinsic annotation.

dtzSiFive opened this pull request 10 months ago

[Seq] Enforce non-negative preset values in FirRegOp printer/parser

fzi-hielscher opened this pull request 10 months ago

[Verilog] Refactor initial block and fix equality comparison

ghost opened this pull request 10 months ago

[Docs] Extend formal verification documentation

maerhart opened this pull request 10 months ago

StripDebugInfoWithPred: Fix parallelization perf issue.

dtzSiFive opened this pull request 10 months ago

[Docs] Correct a typo in circt-lec/README.md

felixonmars opened this pull request 10 months ago

[SMT] Add function application operation, function and uninterpreted sort types

maerhart opened this pull request 10 months ago

[arcilator] Add support for MemRef in the lowering pipeline

Moxinilian opened this pull request 10 months ago

[NFC] Move 'using namespace' out of headers.

fzi-hielscher opened this pull request 10 months ago

[SMT] Add quantifier operations

maerhart opened this pull request 10 months ago

[FIRRTL] Add `chisel_assert` intrinsic

uenoku opened this pull request 10 months ago

[Comb] Missed optimization opportunity for multiply used boolean operations

uenoku opened this issue 10 months ago

[Arc] Add basic support for assert operation.

elhewaty opened this pull request 10 months ago

[SMT] Add integer constant and arithmetic operations

maerhart opened this pull request 10 months ago

[CombToSMT] Add parity op support

maerhart opened this pull request 10 months ago

[InferReadWrite] Set builder insertion point to ensure dominance

prithayan opened this pull request 10 months ago

[Ibis] Introduce 'ibis.design'

teqdruid opened this pull request 10 months ago

[FIRParser] Do not swallow stop ops when parsing FIR

nandor opened this pull request 10 months ago

[circt-lec] Add ConstructLEC pass

maerhart opened this pull request 10 months ago

[Verif] Add LEC operation

maerhart opened this pull request 10 months ago

[ImportVerilog] Add if and loop statements

fabianschuiki opened this pull request 10 months ago

[FIRRTL] LowerMemory change in #6719 leads to ambiguous targets in EmitOMIR

mikeurbach opened this issue 10 months ago

[ExportVerilog] Spill LTL operands used in event control if not allowed.

dtzSiFive opened this pull request 10 months ago

[FSM][Emit] Convert the FSMToSV pass to use `emit` ops

nandor opened this pull request 10 months ago

[SMT] Add basic array operations

maerhart opened this pull request 10 months ago

[Emit][Seq] Emit random init headers using fragments

nandor opened this pull request 10 months ago

[SMT] Add constant boolean operation

maerhart opened this pull request 10 months ago

[CheckCombLoops] Handle RWProbeOp

prithayan opened this pull request 10 months ago

[FIRRTL][CheckCombLoops] Add "xfail" tests for simple rwprobeop loops.

dtzSiFive opened this pull request 10 months ago

[FIRRTL][LowerAnnotations] Fix non-probe type compat check.

dtzSiFive opened this pull request 10 months ago

[FIRRTL][CheckCombLoops] don't crash on force+rwprobeop, workaround.

dtzSiFive opened this pull request 10 months ago

[FIRRTL][CheckCombLoops] Missing RWProbeOp support, crashes

dtzSiFive opened this issue 10 months ago

Wiring problem error with const source and non-const sink w/no-ref-type option

dtzSiFive opened this issue 10 months ago

[InferRW] Remove dependence of write-mode on enable for memory

prithayan opened this pull request 10 months ago

[FIRRTL] Support alternative base paths in LowerClasses.

mikeurbach opened this pull request 10 months ago

[HGLDD] Emit HW struct and array types

fabianschuiki opened this issue 10 months ago

[SMT] Add HWToSMT and CombToSMT conversion passes

maerhart opened this pull request 10 months ago

[SMT] Add boolean logic operations

maerhart opened this pull request 10 months ago

[SMT] Add concat, extract, repeat operations

maerhart opened this pull request 10 months ago

[FIRRTL] Add back owning module constraint for local targets after removing use of ExtractInstances

mikeurbach opened this issue 10 months ago

[FIRRTL] Don't enforce owning module for local ref in LowerClasses.

mikeurbach opened this pull request 10 months ago

[Arc] Add basic assertion support

fabianschuiki opened this issue 10 months ago

[NFC][arcilator] Reenable instrumentation for ArcToLLVM passes.

fzi-hielscher opened this pull request 10 months ago

[CI] LLVM Rebuild configuration suddenly broken?

maerhart opened this issue 10 months ago

[SMT] Add comparison operations

maerhart opened this pull request 10 months ago

[SMT] Add declare_const, assert, solver, and check operations

maerhart opened this pull request 10 months ago

[SMT] Add arithmetic and bitwise operations

maerhart opened this pull request 10 months ago

[SMT] Add bitvector type, attribute, and constant operation

maerhart opened this pull request 10 months ago

[FIRRTL] Lint XMRs in the "Design"

seldridge opened this issue 10 months ago

[SMT] Add Dialect rationale and boilerplate

maerhart opened this pull request 10 months ago

[LLHD] Verify empty processes

maerhart opened this pull request 10 months ago

[WIP][FIRTOOL] btor2 integration

Dobios opened this pull request 10 months ago

[LLHD] Empty llhd.proc assertion failure

pyrion150 opened this issue 10 months ago

[CMake] Add CMake targets to install all CIRCT libraries.

mikeurbach opened this pull request 10 months ago

[arcilator] Strip Emit dialect operations

fzi-hielscher opened this pull request 10 months ago

[FIRTOOL] Move LowerIntrinsic to preprocess

uenoku opened this pull request 10 months ago

[Ibis] Update direct uses of replaceAllUsesWith.

mikeurbach opened this issue 10 months ago

[FIRRTL] Fix sign bit truncation in constant parser

fabianschuiki opened this pull request 10 months ago

[Ibis] Uses of replaceAllUsesWith in DialectConversion can no longer replace uses in replaced/erased ops.

mikeurbach opened this issue 10 months ago

[FIRRTL][FIRParser] Add deprecation warning about printf/when-encoding.

dtzSiFive opened this pull request 10 months ago

[FIRRTL] Change FIRRTL Parser to Require Commas

seldridge opened this issue 10 months ago

[InferReadWrite] Add heuristic to infer unmasked memory

prithayan opened this pull request 10 months ago

[Emit] Group file header ops into `emit.fragment`

nandor opened this pull request 10 months ago

[ImportVerilog] Add basic expressions

fabianschuiki opened this pull request 10 months ago

[OM] Add C API and Python bindings for IntegerAttr to string.

mikeurbach opened this pull request 10 months ago

[OM] Extend APSInts as necessary before performing arithmetic.

mikeurbach opened this pull request 10 months ago

[OM] Add C API and Python bindings for EvaluatorValue::Reference.

mikeurbach opened this pull request 10 months ago

Bump LLVM to 1e828f838cc0f15074f3dbbb04929c06ef0c9729.

mikeurbach opened this pull request 10 months ago

[arcilator] Introduce integrated JIT for simulation execution

Moxinilian opened this pull request 10 months ago

LLVM bump

prithayan opened this pull request 10 months ago