TP858 一个时钟周期执行一次传输

我将整个证明分为五个部分：两个部分验证 AXI-lite 信号在没有 skid 缓冲区的情况下是否得到正确处理，然后再使用 skid 缓冲区。接下来的两个仔细检查我们实际上可以将四个值写入 core，并从中读取四个值——让求解器选择哪四个值。这就是上面选项的目的F_OPT_COVER_BURST——指定我们希望能够检查返回四个值的速度。最后一部分检查OPT_LOWPOWER.

不幸的是，供应商的 AXI-Lite 示例如此糟糕，因为构建和验证 该从设备 是否符合协议 并不是真的那么难。最棘手的部分涉及处理任何潜在的背压并确保所有传出信号都被正确注册。

我意识到我并没有真正使用这个例子中的 所有AXI-Lite 信号。例如，我们没有使用低位地址位，也没有使用各种信号。不这样做的原因很简单，因为我们不需要。事实上，有一个强有力的论据表明 AXI比它需要的要复杂得多——但我们可以把这个讨论留到另一天。AxPROT

在那之前，您可以根据自己的目的随意修改此内核。不要忘记检查正式验证它在整个过程中是否有效是多么容易。

*博客内容为网友个人发布，仅代表博主个人观点，如有侵权请联系工作人员删除。