Bounded Cache Progress Property
Prove every accepted request eventually produces a response within a bounded interval.
Task
If req_valid && req_ready occurs, require resp_valid within 1 to 32 cycles.
Examples
- Implement the required behavior and preserve it under the stated interface/control conditions.
Constraints
- Keep the implementation deterministic and consistent with the interface contract described in the task.
Concepts to review
formal, cache, liveness
Open HDLForge to solve this problem in the interactive editor.
Related problems
- Bounded Request Response — Medium
- Cache Address Decode — Medium
- Cache Hit Detection — Medium
- Cache Line Store — Hard
- Cache Miss / Refill FSM — Hard