请教关于AXI断言的问题
时间：10-02
整理：3721RD
点击：
需要用断言验证AXI协议，感觉自己不能提炼合适的断言点出来。
恳求兄弟姐妹帮忙指点下，帮我顺顺AXI协议的断言点主要有哪些！
恳求兄弟姐妹帮忙指点下，帮我顺顺AXI协议的断言点主要有哪些！
可以利用Mentor 的QVL Monitor简单易用
有上百个检查点，不好列举
1)AMBA_AXI_WVALID_UNKN: WVALID signal should not be X or Z.
2)AMBA_AXI_WVALID_HIGH_DURING_RESET: WVALID should not be high during reset.
。