lowRISC / lowRISC/opentitan

[fpv, rv_timer] add fpv assertions to rv_timer_core_assert_fpv and rv_timer_interrupts_assert_fpv

Open
#29,381 2 comments 0 reactions 0 assignees View on GitHub
Dominant language
SystemVerilog
Stars
3.6k
Forks
1.1k
Avg merge
2d 22h
Merged PRs (30d)
141

Description

### Description

`rv_timer_core_assert_fpv.sv` and `rv_timer_interrupts_assert_fpv.sv` currently only contain a module declaration and `// TODO: populate me with FPV`. I'd like to add assertions to both these modules.

Contributor guide

Open the contributing guide

Research direction

Start by reading rv_timer_core_assert_fpv.sv and rv_timer_interrupts_assert_fpv.sv, which currently contain only module declarations and TODO markers. Determine the intended FPV assertions for both modules and verify that each TODO is replaced with validated assertions.

Written by the indexing model from the issue text.

Assessment

Domain
embedded-iot, testing-qa
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.