微波EDA网,见证研发工程师的成长!
首页 > 研发问答 > 微电子和IC设计 > IC验证交流 > 怎么验证调度?比如RR,WRR,SP等等

怎么验证调度?比如RR,WRR,SP等等

时间:10-02 整理:3721RD 点击:
大家有什么好的方法验证调度?

普通的CRV方法有遇到什么问题?

跟调度有关的验证跟时序高度相关,如果写有时序的参考模型会很麻烦,比如里面的调度的起点必须跟RTL完全一致。
不知道你有没有验过调度?

不理解“调度的起点”是什么意思,以及为什么“有时序的参考模型”很麻烦。大多数参考模型都是带时序的呀。RR,WRR,SP验证重点难倒不是不会有请求一直得不到响应,或响应次序违法优先级设置么。

带时序的参考模型有违参考模型“简单化”的初衷,所以不喜欢写有时序的参考模型

1.用assertion对调度器的输入输出做端到端的检查。
2.做好所有场景覆盖率收集。

Copyright © 2017-2020 微波EDA网 版权所有

网站地图

Top