时序逻辑的并行描述与隐含遍历

作     者：何新华 房秀来 孙书韬 

作者机构：装甲兵工程学院计算机教研室 装甲兵工程学院计算机教研室 北京、100072 

出 版 物：《装甲兵工程学院学报》 (Journal of Academy of Armored Force Engineering)

年 卷 期：1996年第10卷第3期

页      码：59-62页

摘      要：随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。

主 题 词：任务调度 状态遍历 枚举 

学科分类：08[工学] 081201[081201] 0812[工学-测绘类] 

馆 藏 号：203915989...