排序方式： 共有5条查询结果，搜索用时 9 毫秒
1
1.
随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。 相似文献
2.
面向21世纪计算机课程体系的核心是计算机层次教育.以1996～1998年出版的全军统编计算机教材和国家级"九五"重点计算机教材为基础,论述了计算机层次教育所包括的内容及具体的实施办法. 相似文献
3.
本文提出了“容错局域网”的设计思想,并详述了其设计方法.该系统的设计成功,解决了网络实时通信过程中的有关技术问题. 相似文献
4.
本文提出了一种在网络工作站实时通信中实现容错的理论,详细叙述了设计方法,并对其可靠性、实时性、并行性等问题进行了分析. 相似文献
5.
论述了嵌入CPU印制电路板（PCB）故障测试与故障诊断的一般方法。研究表明:只要满足一定的测试性设计要求,嵌入CPU PCB采用结构化测试方法是可行的。 相似文献
1