lowRISC / lowRISC/opentitan

[earlgrey,conn] Connectivity checks in Jasper currently fail with a combinatorial loop

Open
#31,196 0 comments 0 reactions 0 assignees View on GitHub
Component:ChipLevelTest Component:FPV
Dominant language
SystemVerilog
Stars
3.6k
Forks
1.1k
Avg merge
2d 22h
Merged PRs (30d)
141

Description

### Description

The connectivity checks for `top_earlgrey` currently fail because Jasper reports several combinatorial loops.

After a very quick triage, it looks a lot like the connectivity check is thinking about a situation where pinmux has been configured so that a SPI line is both an input and is also being driven (with a value based on that input).

Contributor guide

Open the contributing guide

Research direction

Start with the top_earlgrey connectivity checks in Jasper and investigate the reported combinatorial loops around pinmux-configured SPI lines. Reproduce the failure, determine how the input and driven value interact, and verify that the connectivity checks complete without combinatorial-loop errors.

Written by the indexing model from the issue text.

Assessment

Domain
embedded-iot, testing-qa
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Active
Clarity
Needs clarification
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.