intel / intel/rohd-cosim

Add testing that SV `#` delays are properly handled

Open
#13 0 comments 0 reactions 0 assignees View on GitHub
enhancement
Dominant language
Dart
Stars
29
Forks
6
PR merge metrics
No merged PRs in 30d

Description

A `#` delay in the SystemVerilog simulator can result in signals changing at intermediate times between ticks and not edge triggered by any signal driven by ROHD Cosim. We should add better testing that these scenarios still function correctly.

Contributor guide

Open the contributing guide

Research direction

The issue names no files or existing test entry points. Start by locating the current simulator and co-simulation tests, then add coverage for SystemVerilog # delays that change signals between ticks without an ROHD Cosim-driven edge. Done means those intermediate-time changes are observed and the relevant tests pass.

Written by the indexing model from the issue text.

Assessment

Tech stack
dart
Domain
testing
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.