Search results

world-level BMC: implement two empty match rules

engines

Verilog

Status: Draft (not ready).

diffblue/hw-cbmcnumber 1167

#1167 In diffblue/hw-cbmc;

· kroening opened on Jun 20, 2025

SVA: introduce <code>admits_empty</code>

Verilog

Status: Draft (not ready).

diffblue/hw-cbmcnumber 1166

#1166 In diffblue/hw-cbmc;

· kroening opened on Jun 20, 2025

SVA: parentheses around the arguments of <code>##</code>

Verilog

Status: Open (in progress).

diffblue/hw-cbmcnumber 1165

#1165 In diffblue/hw-cbmc;

· kroening opened on Jun 19, 2025

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