排序方式: 共有4条查询结果,搜索用时 15 毫秒
1
1.
随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD(Binary Decision Diagram)并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。 相似文献
2.
随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性. 相似文献
3.
本文给出了关于方程i=(4n+7±(6n~2+6n-11)~(1/2))/(10)正整数解的两种计算方法的数值计算,这两种计算方法是枚举算法和快速算法,比较了两种数值计算方法的优劣。 相似文献
4.
本文给出了关于方程(i=4n+7±√6n2+6n-11/10)正整数解的两种计算方法的数值计算,这两种计算方法是枚举算法和快速算法,比较了两种数值计算方法的优劣. 相似文献
1