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

RFC: [AIG] Add an AIG dialect and circt-synth

uenoku opened this pull request 3 months ago

[HW] Canonicalization creates invalid aggregate constant

uenoku opened this issue 3 months ago

[ESI] Promote and generalize 'channel assignments'

teqdruid opened this pull request 3 months ago

Bump LLVM to 92663defb1c27d809f644752d65d8ccff93a7054.

mikeurbach opened this pull request 3 months ago

[ESI][Runtime][Cosim] Terminate with "pure virtual called"

teqdruid opened this issue 3 months ago

[CombFolds] Preserve two-state attribute in `narrowOperationWidth`

fzi-hielscher opened this pull request 3 months ago

[circt-lec] Report failing points

uenoku opened this issue 3 months ago

[docs] Fix broken image links in docs

Ivecia opened this pull request 3 months ago

[FIRRTL] Don't force non-local trackers in Dedup.

mikeurbach opened this pull request 3 months ago

[Verif] Add an optional name attribute to SymbolicValueOp

uenoku opened this issue 3 months ago

[Verif] Add LowerFormalToHW pass

leonardt opened this pull request 3 months ago

[FIRRTL][ProbesToSignals] RWProbe support

dtzSiFive opened this pull request 3 months ago

[arcilator] Add clock divider integration test

fabianschuiki opened this pull request 3 months ago

[Arc] Remove obsolete arc.clock_tree and arc.passthrough ops

fabianschuiki opened this pull request 3 months ago

[Arc] Improve LowerState to never produce read-after-write conflicts

fabianschuiki opened this pull request 3 months ago

[Arc] Add dominance-aware pass to sink ops and merge scf.if ops

fabianschuiki opened this pull request 3 months ago

[Arc] Make arc.model have an SSACFG region

fabianschuiki opened this pull request 3 months ago

[Arc] Add arc.final op

fabianschuiki opened this pull request 3 months ago

[ArcToLLVM] Add support for index dialect

fabianschuiki opened this pull request 3 months ago

[ExportVerilog][COMB] Crash in circt-opt: Variadic Operand Handling in ExportVerilog

YangWiz opened this issue 3 months ago

[FIRRTL] InferWidths: fix invalid frame reference

youngar opened this pull request 3 months ago

Remove redundant CMakeLists.txt entry

leonardt opened this pull request 3 months ago

[Do not merge][ESI][PyCDE] All necessary changes to support internal BSP

teqdruid opened this pull request 3 months ago

[MooreToCore] Add support for format strings and display task

fabianschuiki opened this pull request 3 months ago

[Sim][NFC] Include InferTypeOpInterface in SimOps.td

fabianschuiki opened this pull request 3 months ago

[Sim] Combine integer formatting ops into one op

fabianschuiki opened this issue 3 months ago

[Verif] Simplify the FormalOp

fabianschuiki opened this pull request 3 months ago

[FIRRTL] Ensure LowerClasses respects alt base path for local paths.

mikeurbach opened this pull request 3 months ago

[FIRRTL] InferWidths: error can point at operation not involved in constraint

youngar opened this issue 3 months ago

[FIRRTL] Print port names attributes if a port has an empty name

rwy7 opened this pull request 3 months ago

[SCFToCalyx] If op with sequential condition

jiahanxie353 opened this pull request 3 months ago

[FIRRTL] collection of changes to InferWidths

youngar opened this pull request 3 months ago

Add unit test discovery and execution tool

fabianschuiki opened this pull request 3 months ago

[JSON] Leave json::OStream in valid state on failure

fabianschuiki opened this pull request 3 months ago

[OM] Update FreezePaths to handle object fields with paths.

mikeurbach opened this pull request 3 months ago

[Calyx] IfOp's group has to be a CombGroupOp?

jiahanxie353 opened this issue 3 months ago

[MooreToCore] Support assert, assume, cover ops

mingzheTerapines opened this pull request 3 months ago

[FIRRTL] InferResets: properly lower FART'd registers

youngar opened this pull request 3 months ago

[FIRRTL] FSRT: not finding all no-reset registers

youngar opened this issue 3 months ago

[FIRRTL] FRT: treats different encodings of register resets differently

youngar opened this issue 3 months ago

[FIRRTL] SFCCompat: can select different values for a single invalid value

youngar opened this issue 3 months ago

[RFC][Sim] Add triggered simulation procedures

fzi-hielscher opened this pull request 3 months ago

[FIRRTL] InferResets FullReset (formerly FART) does not add resets to not reset fields of partially reset registers

jackkoenig opened this issue 3 months ago

[FIRRTL] FART: Does not process modules not reachable from the main module

youngar opened this issue 3 months ago

change github src for slang

astrophysik opened this pull request 3 months ago

[LLHD][HW] Implement SROA interfaces

maerhart opened this pull request 3 months ago

[SCFToCalyx] Memory banking for Calyx

jiahanxie353 opened this pull request 3 months ago

SCF IndexSwitch to nested If-Else

jiahanxie353 opened this pull request 3 months ago

[SCFToCalyx] Build control for nested if operation

jiahanxie353 opened this pull request 3 months ago

[FIRRTL][CAPI] Add documentation

SpriteOvO opened this pull request 3 months ago

[ExtractInstances] Add the extract instances metadata to OM Classes

prithayan opened this pull request 3 months ago

[HWToSMT] ArrayCreateOp and ArrayGetOp support

maerhart opened this pull request 3 months ago

[LLHD][ProcessLowering] Incorrectly inlines aliasing drives

maerhart opened this issue 3 months ago

[HWToSMT] Support hw.array_create and hw.array_get

uenoku opened this issue 3 months ago

[Not-for-commit] Demonstrate Yosys integration

uenoku opened this pull request 3 months ago

[Verif] Lowering from `verif.formal` to `verif.bmc`

dobios opened this issue 3 months ago

[FIRRTL] FIRRTL needs a contract interface

dobios opened this issue 3 months ago

[FIRRTL] Add integer shift left conversion to LowerClasses

maerhart opened this pull request 3 months ago

[FIRRTL] Add integer shift left parser support

maerhart opened this pull request 3 months ago

[OM] Add integer shift left op

maerhart opened this pull request 3 months ago

[FIRRTL] Add integer shift left property op

maerhart opened this pull request 3 months ago

[Seq][Arc] Allow seq.initial to take immutable operands. Add a cast operation

uenoku opened this pull request 3 months ago

[arcilator] Register Verif dialect

owlxiao opened this pull request 3 months ago

[Transforms][OpCountAnalysis] Add PrintOpCountPass

TaoBi22 opened this pull request 3 months ago

[Arc] Fix folding of initialized StateOp

fzi-hielscher opened this pull request 3 months ago

[MooreToCore] Lower moore.net to llhd.sig

fabianschuiki opened this pull request 3 months ago

[FIRRTL] Re-implement old EmitOMIR ports logic in LowerClasses.

mikeurbach opened this pull request 3 months ago

[Arc] Automatic module partition

SpriteOvO opened this pull request 3 months ago

[FIRRTL] Layers and Analog

dtzSiFive opened this issue 3 months ago

[MooreToCore] Support format strings

fabianschuiki opened this issue 3 months ago

[ImportVerilog] Insert missing conversions around instance ports

fabianschuiki opened this pull request 3 months ago

[ImportVerilog] Support assignment patterns with integer type

fabianschuiki opened this pull request 3 months ago

[ImportVerilog] Add support for $clog2

fabianschuiki opened this pull request 3 months ago

[Analysis] Add OpCount Analysis

TaoBi22 opened this pull request 3 months ago

[FIRRTL] Avoid InstanceGraphNode* in InstanceInfo

seldridge opened this pull request 3 months ago

[ImportVerilog] Add $display/$write/$info/$warning/$error/$fatal

fabianschuiki opened this pull request 3 months ago

Bump LLVM to 556ec4a7261447d13703816cd3730a891441e52c.

mikeurbach opened this pull request 3 months ago

[FIRRTL][LowerLayers] Remove handling of some ref ops

rwy7 opened this pull request 3 months ago

[firtool] Move LowerLayers later in pipeline.

dtzSiFive opened this pull request 3 months ago

[Seq] Add cast operation to immutable type

uenoku opened this pull request 3 months ago

[Seq] Move SeqToSV tests from `test/Dialect/Seq` to `test/Conversion/SeqToSV`

uenoku opened this issue 3 months ago

[SV] [FIRRTL] Add intrinsics for sampled value functions

unlsycn opened this issue 3 months ago

[FIRRTL] Convert CheckLayers to use InstanceInfo

seldridge opened this pull request 3 months ago

[ImportVerilog] Add support for $stop/$finish/$exit

fabianschuiki opened this pull request 3 months ago

[FIRRTL] Add verifier of single MarkDUTAnnotation

seldridge opened this pull request 3 months ago

[ImportVerilog] Add support for elaboration system tasks

fabianschuiki opened this pull request 3 months ago

[MooreToCore] Return early on non-convertable type

maerhart opened this pull request 3 months ago

[MooreToCore] Support assert, assume, cover ops

fabianschuiki opened this issue 3 months ago

[MooreToCore] Support net op

fabianschuiki opened this issue 3 months ago

[MooreToCore] Support string constants

fabianschuiki opened this issue 3 months ago

[MooreToCore] Unpacked array causes crash

fabianschuiki opened this issue 3 months ago

[MooreToCore] Support pow op

fabianschuiki opened this issue 3 months ago

[MooreToCore] Alternative conditional lowering and type conversion fixes

maerhart opened this pull request 3 months ago

[Moore] Drop named_constant op in favor of dbg.variable

fabianschuiki opened this pull request 3 months ago

[LLHD] Add Sig2Reg pass for graph regions

maerhart opened this pull request 3 months ago

[FIRRTL] Error mixed DUT mems in AddSeqMemPorts

seldridge opened this pull request 3 months ago

[circt-bmc] Add `circt-bmc` tool

TaoBi22 opened this pull request 3 months ago

[FIRRTL] AddSeqMemPorts of Memories Instantiated Under and Above DUT

seldridge opened this issue 3 months ago

[DC] Adding `dc-print-dot` pass

luisacicolini opened this pull request 3 months ago

[FIRRTL] Add features, cleanup InstanceInfo (again)

seldridge opened this pull request 3 months ago