circt icon indicating copy to clipboard operation
circt copied to clipboard

[MooreToCore]Unexpected observed values in llhd.wait.

Open terapines-osc-circt opened this issue 9 months ago • 1 comments
trafficstars

Please check this PR(https://github.com/llvm/circt/pull/8210/files) to view the details.

Or for example:

moore.module @crash(in %in0: !moore.i32, in %in1: !moore.i32) {
  %var = moore.variable : <!moore.i32>
  moore.procedure always_comb {
    %0 = moore.pows %in0, %in1 : !moore.i32
    moore.blocking_assign %var, %0 : !moore.i32
    moore.return
  }
}

%var will be regarded as one member of the implicit sensitivity list. But this act is illegal❌.

terapines-osc-circt avatar Feb 08 '25 13:02 terapines-osc-circt