|
|||||
|
|
| 时序逻辑的并行描述与隐含遍历 | |
| 引用本文： | 何新华,房秀来,孙书韬. 时序逻辑的并行描述与隐含遍历[J]. 装甲兵工程学院学报, 1996, 0(3) |
| 作者姓名： | 何新华 房秀来 孙书韬 |
| 作者单位： | 装甲兵工程学院计算机教研室 北京、100072 |
| 摘 要： | 随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。 |
| 关 键 词： | 任务调度 状态遍历 枚举 |
Parallel Description and Implicit for Synchronous Logic |
|
| He Xinhua Fang Xiulai Sun Shutao. Parallel Description and Implicit for Synchronous Logic[J]. Journal of Armored Force Engineering Institute, 1996, 0(3) | |
| Authors: | He Xinhua Fang Xiulai Sun Shutao |
| Affiliation: | He Xinhua Fang Xiulai Sun Shutao |
| Abstract: | 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. |
| Keywords: | ask splitting adjust strategy state traversing enermation |
| 本文献已被 CNKI 等数据库收录！ | |