Search results

Missing support for IEEE 1800-2023 Section 7.12.5: Array map() method

newNew issue not seen by maintainersNew issue not seen by maintainers

Status: Open.

#7307 In verilator/verilator;

· weilun-chiu opened on Mar 22, 2026

Fix t_structu_dataType_assignment with unpacked arrays

Status: Open.

#7304 In verilator/verilator;

· wsnyder opened on Mar 21, 2026

Assignments through virtual interface are unsafe in multi-threaded mode

Status: Open.

#7303 In verilator/verilator;

· gezalore opened on Mar 21, 2026

Support implication with constraint_set

area: randomizationIssue involves randomization/constraintsIssue involves randomization/constraints

type: feature-IEEERequest to add new feature, described in IEEE 1800Request to add new feature, described in IEEE 1800

Status: Open.

#7300 In verilator/verilator;

· solomatnikov opened on Mar 20, 2026

Incorrect simulation of nonoverlapped implication property

Status: Open.

Bug

#7292 In verilator/verilator;

· b-chmiel opened on Mar 20, 2026

Add support for s_eventually property

area: assertionsIssue involves assertionsIssue involves assertions

status: assignedIssue is assigned to someone to work onIssue is assigned to someone to work on

Status: Open.

Feature

#7291 In verilator/verilator;

· b-chmiel opened on Mar 20, 2026

Add support for until property

area: assertionsIssue involves assertionsIssue involves assertions

status: assignedIssue is assigned to someone to work onIssue is assigned to someone to work on

Status: Open.

Feature

#7290 In verilator/verilator;

· RRozak opened on Mar 20, 2026

Tracking: SVA roadmap and progress

area: assertionsIssue involves assertionsIssue involves assertions

Status: Open.

#7278 In verilator/verilator;

· YilouWang opened on Mar 18, 2026

Fix $finish continuing event loop

area: schedulingIssue involves scheduling/ordering of eventsIssue involves scheduling/ordering of events

Status: Open.

#7267 In verilator/verilator;

· wsnyder opened on Mar 17, 2026

Cast before calling __Vdpiimwrap_ function may yield wrong address in VerilatedDpiOpenVar

Status: Open.

#7261 In verilator/verilator;

· akahlich opened on Mar 16, 2026

verilated.mk: Apple clang does not support -o flag in conjunction with PCH

Status: Open.

#7251 In verilator/verilator;

· Wren6991 opened on Mar 12, 2026

Question: In netlist simulation, the behavior of the register has changed to that of a latch.

status: asked reporterBug is waiting for reporter to answer a questionBug is waiting for reporter to answer a question

Status: Open.

#7244 In verilator/verilator;

· inferior123 opened on Mar 12, 2026