Issues

Mailbox: unparameterized `mailbox` unsupported; `try_peek()` lacks runtime type-mismatch check

planvtech/PlanV_Verilator_Feature_Tests#164 · opened

on Apr 26, 2026

Mailbox: unparameterized `mailbox` fails to compile — missing default type for `T` in `verilated_std.sv`

planvtech/PlanV_Verilator_Feature_Tests#163 · opened

on Apr 26, 2026

Mailbox: generic (unparameterized) mailbox unsupported; try_get type-mismatch return unimplemented

planvtech/PlanV_Verilator_Feature_Tests#162 · opened

on Apr 26, 2026

Interprocess: unparameterized `mailbox` unsupported — bare `mailbox mbx;` fails to compile

planvtech/PlanV_Verilator_Feature_Tests#161 · opened

on Apr 26, 2026

Interprocess: nonblocking event trigger (`->>`) is a no-op at runtime — event never fires

planvtech/PlanV_Verilator_Feature_Tests#160 · opened

on Apr 26, 2026

Interprocess Sync: Unparameterized mailbox not supported (IEEE 1800-2017 §15.4.1)

planvtech/PlanV_Verilator_Feature_Tests#157 · opened

on Mar 28, 2026

Tasks/Functions: Static task arguments do not retain values between invocations (IEEE 1800-2017 §13.3.1)

planvtech/PlanV_Verilator_Feature_Tests#156 · opened

on Mar 28, 2026

Tasks/Functions: Task static lifetime not correctly shared across concurrent calls (IEEE 1800-2017 §13.3.1)

planvtech/PlanV_Verilator_Feature_Tests#155 · opened

on Mar 28, 2026

Tasks/Functions: Automatic task output arguments not initialized to default value on each invocation

planvtech/PlanV_Verilator_Feature_Tests#154 · opened

on Mar 28, 2026

Processes: process::kill() via passed handle does not terminate target process

planvtech/PlanV_Verilator_Feature_Tests#150 · opened

on Mar 28, 2026

Processes: process::kill() does not terminate descendant subprocesses (IEEE 1800-2017 §9.7)

planvtech/PlanV_Verilator_Feature_Tests#149 · opened

on Mar 28, 2026

Processes: kill() on FINISHED process incorrectly changes state (IEEE 1800-2017 §9.7)

planvtech/PlanV_Verilator_Feature_Tests#148 · opened

on Mar 28, 2026

Processes: `process::await()` on forked child process hangs simulation

planvtech/PlanV_Verilator_Feature_Tests#147 · opened

on Mar 28, 2026

Tasks/Functions: Implicit return type does not preserve 4-state x/z values (IEEE 1800-2017 §13.4)

planvtech/PlanV_Verilator_Feature_Tests#141 · opened

on Mar 28, 2026

Interprocess Sync: wait(event.triggered) does not eliminate race condition (IEEE 1800-2017 §15.5.3)

planvtech/PlanV_Verilator_Feature_Tests#140 · opened

on Mar 28, 2026

Interprocess Sync: Event passed as task argument not triggered correctly (IEEE 1800-2017 §15.5.1)

planvtech/PlanV_Verilator_Feature_Tests#139 · opened

on Mar 28, 2026

Interprocess Sync: Nonblocking event trigger (-\>\>) does not unblock waiting process

planvtech/PlanV_Verilator_Feature_Tests#138 · opened

on Mar 28, 2026

Tasks/Functions: ref argument to dynamic array element not aliased — writes through array not visible via ref

planvtech/PlanV_Verilator_Feature_Tests#135 · opened

on Mar 28, 2026

Tasks/Functions: Function call without parentheses when all arguments have defaults (IEEE 1800-2017 §13.4.1)

planvtech/PlanV_Verilator_Feature_Tests#134 · opened

on Mar 28, 2026

Tasks/Functions: Output argument default value binding not supported (IEEE 1800-2017 §13.5.3)

planvtech/PlanV_Verilator_Feature_Tests#133 · opened

on Mar 28, 2026

Tasks/Functions: Inout argument default value not copied back (copy-out) to default variable

planvtech/PlanV_Verilator_Feature_Tests#132 · opened

on Mar 28, 2026

Processes: repeat event control not supported (IEEE 1800-2017 §9.4.2.3)

planvtech/PlanV_Verilator_Feature_Tests#130 · opened

on Mar 28, 2026

Processes: process::suspend()/resume() not supported (IEEE 1800-2017 §9.7)

planvtech/PlanV_Verilator_Feature_Tests#129 · opened

on Mar 28, 2026

Interprocess Sync: wait_order() construct not supported (IEEE 1800-2017 §15.5.4)

planvtech/PlanV_Verilator_Feature_Tests#128 · opened

on Mar 28, 2026

Interprocess Sync: Event variable assignment (merge), null assignment, and related operations unsupported

planvtech/PlanV_Verilator_Feature_Tests#127 · opened

on Mar 28, 2026

Navigation Menu

Repository navigation

Issues

Mailbox: unparameterized `mailbox` unsupported; `try_peek()` lacks runtime type-mismatch check

Mailbox: unparameterized `mailbox` fails to compile — missing default type for `T` in `verilated_std.sv`

Mailbox: generic (unparameterized) mailbox unsupported; try_get type-mismatch return unimplemented

Interprocess: unparameterized `mailbox` unsupported — bare `mailbox mbx;` fails to compile

Interprocess: nonblocking event trigger (`->>`) is a no-op at runtime — event never fires

Interprocess Sync: Unparameterized mailbox not supported (IEEE 1800-2017 §15.4.1)

Tasks/Functions: Static task arguments do not retain values between invocations (IEEE 1800-2017 §13.3.1)

Tasks/Functions: Task static lifetime not correctly shared across concurrent calls (IEEE 1800-2017 §13.3.1)

Tasks/Functions: Automatic task output arguments not initialized to default value on each invocation

Processes: process::kill() via passed handle does not terminate target process

Processes: process::kill() does not terminate descendant subprocesses (IEEE 1800-2017 §9.7)

Processes: kill() on FINISHED process incorrectly changes state (IEEE 1800-2017 §9.7)

Processes: `process::await()` on forked child process hangs simulation

Tasks/Functions: Implicit return type does not preserve 4-state x/z values (IEEE 1800-2017 §13.4)

Interprocess Sync: wait(event.triggered) does not eliminate race condition (IEEE 1800-2017 §15.5.3)

Interprocess Sync: Event passed as task argument not triggered correctly (IEEE 1800-2017 §15.5.1)

Interprocess Sync: Nonblocking event trigger (-\>\>) does not unblock waiting process

Tasks/Functions: ref argument to dynamic array element not aliased — writes through array not visible via ref

Tasks/Functions: Function call without parentheses when all arguments have defaults (IEEE 1800-2017 §13.4.1)

Tasks/Functions: Output argument default value binding not supported (IEEE 1800-2017 §13.5.3)

Tasks/Functions: Inout argument default value not copied back (copy-out) to default variable

Processes: repeat event control not supported (IEEE 1800-2017 §9.4.2.3)

Processes: process::suspend()/resume() not supported (IEEE 1800-2017 §9.7)

Interprocess Sync: wait_order() construct not supported (IEEE 1800-2017 §15.5.4)

Interprocess Sync: Event variable assignment (merge), null assignment, and related operations unsupported