jchdl - RTL Value Propagation

 
 
因为建模方式的不同,RTL值的传播不同于GSL值的传播。
 
jchdl GSL模型的信息较多,知道Port的upstream Port和downstream Ports,也就是知道值的变化从哪里传过来,又要传到哪里去。所以GSL模型,使用推式传播(Push),即如果portA的值发生变化,则把变化事件推给portA的所有downstream ports。
 
jchdl RTL为了模型简洁,只保留了Block依赖的事件的信息,而事件被依赖的Block的信息,只能检查事件是否发生,而不能在事件发生之后推送给依赖该事件的Block。所以RTL模型,使用拉式传播(Pull),即检查模块及模块的子模块中各个Block所依赖的事件是否发生,如果发生执行Block对应的逻辑块。
 
值变化事件传播的步骤如下:
  1. 通过顶层模块,搜集顶层模块及其子模块中的所有Block所依赖的事件是否发生,保存被事件触发的Block;
  1. 执行被事件触发的Block的逻辑块;
  1. 返回1搜集是否还有新的事件发生,如果有则执行2,如果没有则传播结束;
 
 
一. PropagateManager
 
 
使用PropagateManager提供的方法,来完成值的传播。
  1. PropagateManager.propagate(): 该方法需要事先使用PropagateManager.add()方法把propagatables添加进来;
  1. PropagateManager.propagate(Module topModule): 直接检查topModule是否有值变化事件发生,并传播该事件,无需添加;
 
二. 举例:Mux
 
 
运行结果如下:
 
 
需要注意的是,传播一定要有值的变化事件发生,如果没有,则值仍为默认值。
 
 
三. Propagatable
 
具有传播能力的元素。
 
 
四. 事件
 
 
 
posted @ 2018-09-11 11:26  wjcdx  阅读(197)  评论(0编辑  收藏  举报