摘要
随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。
Based on the circuits netlists or Boolean expression, parallel constructing is proposed for BDD. In order to traverse state of STG, implicit traversing method is described also. Finally, dynamic adjust approachs that used in the bus-multi CPU system has been discussed.
出处
《装甲兵工程学院学报》
1996年第3期59-62,共4页
Journal of Academy of Armored Force Engineering
关键词
任务调度
状态遍历
枚举
ask splitting
adjust strategy
state traversing
enermation
