- 博客(6)
- 收藏
- 关注
RSS订阅原创 UVM sequence sequencer driver 之间的通信方式
item从sequence到driver侧需要经过两次握手，第一次握手目的是为了向sequencer发出需要发送数据的请求，此时无关数据本身，仅仅是为了告诉sequencer，sequence有发送数据这个需求。第二次握手就是发送数据了，经过了第一次握手，sequencer已经知道sequence需要发出数据，也进行了批准，因此第二次握手就是直接发出数据。下面是对两次握手的详细解释。
2025-02-19 11:15:11
525
原创 AXI ID以及outstanding ，interleaving,out of order
旨在描述AXI ID的关系以及描述自己对outstanding,out of order,interleaving transfer的理解
2025-02-14 15:04:33
984
原创 AXI 握手以及narraw transfer，unligned transfer
AXI 的握手流程以及narraw transfer，unligned transfer
2025-02-13 15:46:38
1691
原创 Formal Verification FPV
FPV（Formal Property Verification）是通过断言来check。这里的checker 主要是由assume,assert，cover组成。assume 用来对DUT的输入进行约束，assert 用来对DUT与reference的输出进行check。cover 用来描述自己特别关心的一些场景。FPV 用各种强大的VC引擎证明每个property。如果证明property失败，VC会提供一个反例的波形来让用户分析。
2023-12-14 16:20:00
3290
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人