Search results

SVA: replace <code>sva_sequence_concatenation_exprt</code>

Verilog

Status: Draft (not ready).

diffblue/hw-cbmcnumber 1162

#1162 In diffblue/hw-cbmc;

· kroening opened on Jun 17, 2025

Verilog: <code>$isunknown</code>

Verilog

Status: Draft (not ready).

diffblue/hw-cbmcnumber 1149

#1149 In diffblue/hw-cbmc;

· kroening opened on Jun 9, 2025

introduce <code>verilog_sva_property_typet</code>

Verilog

Status: Draft (not ready).

diffblue/hw-cbmcnumber 1081

#1081 In diffblue/hw-cbmc;

· kroening opened on Apr 23, 2025

SVA monitor

engines

Verilog

Status: Draft (not ready).

diffblue/hw-cbmcnumber 1011

#1011 In diffblue/hw-cbmc;

· kroening opened on Feb 25, 2025

SystemVerilog: <code>--initial-zero</code>

Verilog

Status: Open (in progress).

diffblue/hw-cbmcnumber 1001

#1001 In diffblue/hw-cbmc;

· kroening opened on Feb 20, 2025

SystemVerilog: interface instantiation

Verilog

Status: Draft (not ready).

diffblue/hw-cbmcnumber 972

#972 In diffblue/hw-cbmc;

· kroening opened on Feb 6, 2025

SystemVerilog: declarations in named blocks in tasks/functions

Verilog

Status: Draft (not ready).

diffblue/hw-cbmcnumber 970

#970 In diffblue/hw-cbmc;

· kroening opened on Feb 6, 2025

SystemVerilog: preserve scopes between compilation units

Verilog

Status: Draft (not ready).

diffblue/hw-cbmcnumber 963

#963 In diffblue/hw-cbmc;

· kroening opened on Feb 4, 2025

SystemVerilog: create identifier expressions in scanner

Verilog

Status: Draft (not ready).

diffblue/hw-cbmcnumber 953

#953 In diffblue/hw-cbmc;

· kroening opened on Jan 29, 2025

aval/bval lowering for reduction operators

Verilog

Status: Draft (not ready).

diffblue/hw-cbmcnumber 930

#930 In diffblue/hw-cbmc;

· kroening opened on Jan 16, 2025

SystemVerilog: fix identifier on enum type

Verilog

Status: Draft (not ready).

diffblue/hw-cbmcnumber 919

#919 In diffblue/hw-cbmc;

· kroening opened on Jan 2, 2025

SystemVerilog: type parameter ports

Verilog

Status: Draft (not ready).

diffblue/hw-cbmcnumber 842

#842 In diffblue/hw-cbmc;

· kroening opened on Nov 21, 2024