llvm/circt

Issues

• [MooreToCore] Support string constants

  #7628 opened 2 months ago by fabianschuiki
  6

• [Verif] Add an optional name attribute to SymbolicValueOp

  #7708 opened 2 months ago by uenoku
  0

• [Sim] Combine integer formatting ops into one op

  #7692 opened 2 months ago by fabianschuiki
  3

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

  #7698 opened 2 months ago by YangWiz
  1

• [MooreToCore] Support assert, assume, cover ops

  #7630 opened 2 months ago by fabianschuiki
  4

• [MooreToCore] Support format strings

  #7648 opened 2 months ago by fabianschuiki
  1

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

  #7689 opened 3 months ago by youngar
  0

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

  #7682 opened 3 months ago by jiahanxie353
  3

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

  #7678 opened 3 months ago by youngar
  3

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

  #7674 opened 3 months ago by youngar
  0

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

  #7679 opened 3 months ago by youngar
  2

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

  #7675 opened 3 months ago by jackkoenig
  1

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

  #7677 opened 3 months ago by youngar
  6

• [FIRRTL] FIRRTL needs a contract interface

  #7661 opened 3 months ago by dobios
  2

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

  #7636 opened 3 months ago by unlsycn
  7

• [LLHD][ProcessLowering] Incorrectly inlines aliasing drives

  #7665 opened 3 months ago by maerhart
  0

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

  #7662 opened 3 months ago by dobios
  2

• [HWToSMT] Support hw.array_create and hw.array_get

  #7664 opened 3 months ago by uenoku
  0

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

  #7637 opened 3 months ago by uenoku
  2

• [FIRRTL] Layers and Analog

  #7649 opened 3 months ago by dtzSiFive
  0

• [FIRRTL] AddSeqMemPorts of Memories Instantiated Under and Above DUT

  #7620 opened 3 months ago by seldridge
  0

• [FIRRTL] design with layers not optimized as well as without

  #7533 opened 3 months ago by seldridge
  1

• [MooreToCore] Support pow op

  #7626 opened 3 months ago by fabianschuiki
  2

• [MooreToCore] Unpacked array causes crash

  #7627 opened 3 months ago by fabianschuiki
  0

• [MooreToCore] Support net op

  #7629 opened 3 months ago by fabianschuiki
  0

• [FIRRTL] InferResets FullReset (formerly FART) errors due to "different" reset domains when the reset value is identical

  #7611 opened 3 months ago by jackkoenig
  2

• [FIRTOOL] Verification layers are not included in filelist.f

  #7542 opened 4 months ago by FanShupei
  4

• [FIRRTL][IMDCE] missed optimization to delete dead instance

  #7608 opened 3 months ago by youngar
  1

• [Moore] The system function like $urandom, $urandom_range, etc.

  #7602 opened 3 months ago by hailongSun2000
  2

• [FIRRTL] Does 'regreset' in CHIRRTL have the corresponding calss in firrtl.ir?

  #7601 opened 3 months ago by zhangkanqi
  4

• [MooreToCore] VariableOp lowered failed

  #7535 opened 4 months ago by mingzheTerapines
  11

• [FIRRTL] Probes can target the wrong signal when a local signal has the same name as the containing module

  #7593 opened 3 months ago by youngar
  0

• [FIRRTL] Firtool may crash when compiling a certain fir file.

  #7586 opened 4 months ago by Siudya
  4

• [FIRRTL] canonicalizer failure with mux of const-mixed operands

  #7562 opened 4 months ago by seldridge
  1

• [HW][OM] Propose to add functions to query the top OM class

  #7570 opened 4 months ago by SpriteOvO
  2

• [FIRRTL] memory parsing support for combined port declarations - document/spec, comma-separate?

  #7581 opened 4 months ago by dtzSiFive
  0

• [FIRRTL] memory parsing crashes on unexpected order of "fields"

  #7580 opened 4 months ago by dtzSiFive
  0

• [SV] Canonicalizer ASAN failure

  #7563 opened 4 months ago by dtzSiFive
  0

• [Moore] Input triggers assertion in canonicalizer infra

  #7531 opened 4 months ago by maerhart
  7

• [FIRRTL] Poor Asymptotic Performance of Layer Merge and Layer Sink

  #7551 opened 4 months ago by seldridge
  0

• [FIRRTL] Blackboxes, Directories, and Layers not working as expected

  #7538 opened 4 months ago by seldridge
  0

• [Scheduling] Allow cloning of problem instances

  #7546 opened 4 months ago by jopperm
  0

• [Scheduling] Add interface to manage solutions

  #7545 opened 4 months ago by jopperm
  0

• [Scheduling] Add interfaces to allow removal of problem components and properties

  #7544 opened 4 months ago by jopperm
  0

• [FIRRTL] `SpecializeLayers` not removing all nested layers

  #7525 opened 4 months ago by seldridge
  0

• [Moore] Redesign `wait_event` operation

  #7482 opened 4 months ago by maerhart
  0

• [Moore] Mem2Reg Error

  #7483 opened 5 months ago by maerhart
  0

• [FIRRTL][LowerLayers] ref.send capture of non-passive doesn't work

  #7493 opened 5 months ago by dtzSiFive
  0

• [ExportVerilog] Pass should fail if any failure occurs while running

  #7484 opened 5 months ago by teqdruid
  3

• [FIRRTL] Tighten Layerblock Checking of Writes Outside the Layerblock

  #7485 opened 5 months ago by seldridge
  0