一、interface:
1、断言的检查:时序的要求:
普通的interface就省略介绍了,这里主要介绍在apb_intf部分的断言描述:
检查addr是否有x,z信号出现;
psel和penable的时序协议判断;
penable和pready同时为高后下一拍penable拉低;
在传输过程中,psel和penable过程中pwadta需要一直保持;
下一次trans开始之前需要保持addr一直不变;
下一次trans开始之前需要保持write一直不变;
普通的interface就省略介绍了,这里主要介绍在apb_intf部分的断言描述:
检查addr是否有x,z信号出现;
psel和penable的时序协议判断;
penable和pready同时为高后下一拍penable拉低;
在传输过程中,psel和penable过程中pwadta需要一直保持;
下一次trans开始之前需要保持addr一直不变;
下一次trans开始之前需要保持write一直不变;