论文部分内容阅读
我选择,我喜欢!
【出 处】
:
新潮电子
【发表日期】
:
2000年12期
其他文献
针对点-时段时序逻辑的不足,提出了一种新的时段时序逻辑--扩展时段时序逻辑,对不确定时间段发生的事件具有较好的描述能力。时间Petri网模型表示的引入,增强了扩展时段时序逻辑的
为刻画和验证无穷值域上的传值进程,Hennessy和Lin先后提出符号迁移图(STG)和带赋值符号迁移图(STGA)作为传值进程的语义表示模型,并给出了相应的强互模拟算法.为将该方法推广至实际应用中更常用的弱互
可替换线逻辑综合(如PAMBO)是近年来兴起的一种方法,它采用测试向量自动生成(ATPG)方法来实现冗余添加和删除.但是,频繁调用逻辑蕴涵过程使得整个逻辑综合的速度较慢.因此,如何减少ATPG过程的调用次
由于越来越多的技术用于缩小处理器与存储器之间的日益加大的速度差距,计算机的存储系统变得日趋复杂.现在,任何一个程序设计者,尤其是数值计算程序的设计者,若不考虑其所用计算平