时序逻辑的并行描述与隐含遍历 |
| |
引用本文: | 何新华,房秀来,孙书韬.时序逻辑的并行描述与隐含遍历[J].装甲兵工程学院学报,1996(3). |
| |
作者姓名: | 何新华 房秀来 孙书韬 |
| |
作者单位: | 装甲兵工程学院计算机教研室 北京、100072 |
| |
摘 要: | 随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD(Binary Decision Diagram)并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。
|
关 键 词: | 任务调度 状态遍历 枚举 |
本文献已被 CNKI 等数据库收录! |
|