You are working on the hdl-registers/hdl-registers repository. The source code is checked out at /testbed at…
You are working on the hdl-registers/hdl-registers repository. The source code is checked out at /testbed at…: a task in SWE-Lego-RL-2699 (Harbor dataset). The API guarantees the range based on the field specification. I think it makes sense to assert that the interface specification is fulfilled…
The task
The API guarantees the range based on the field specification. I think it makes sense to assert that the interface specification is fulfilled in the glue logic between two components. So that SW can be confident that any values it receives will not be out of range, and similarly for the fabric.
Part of Lego-X/Lego-RL-2699.