论文部分内容阅读
由于GSTE的性质描述断言图的时序特性，使其不能够简洁易懂地描述电路的并发性质，因此将meet运算符引入GSTE，重新定义GSTE断言图及其验证算法，使之能更简洁的描述和验证数字电路的并发性质，实验表明引入meet运算符后的算法能够降低验证的复杂度．
电路并发性质在GSTE中的研究和实现
【摘 要】
：
由于GSTE的性质描述断言图的时序特性，使其不能够简洁易懂地描述电路的并发性质，因此将meet运算符引入GSTE，重新定义GSTE断言图及其验证算法，使之能更简洁的描述和验证数字电路的
【机 构】
：
电子科技大学计算机科学与工程学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2013年6期
其他文献
Web教育网站的可信性和可用性是教育门户网站评价的重要内容.从可信、可用角度,提出了一种基于可信理论的Web教育门户网站可用性评估模型.首先给出了Web教育资源的相关描述,
【正】鸡白痢(简称PD)由鸡白痢沙门氏菌感染引起,主要引起雏鸡和火鸡的败血病,但其他鸟类如鹌鹑、野鸡、鸭子、孔雀、珍珠鸡也易感。该种疾病可通过种蛋垂直传播。鸡白痢沙门
为了更快速地实现对传真图像的预处理,提出了以FPGA为平台的硬件传真图像处理算法.应用HDL硬件描述语言设计并实现中值滤波,边缘锐化.像域分离等图像处理算法.此外还提出了一种改进的快速中值滤波算法,通过验证表明,该算法不但加快了处理速度,也节省了硬件资源.
素质教育由诸多因素构成,它需要分化到整个教学过程中的各个层面去实施.语文课堂教学要充分调动学生以"兴趣"为主的非智力因素,充分挖掘教材潜在的非智力内涵来激发学生的兴
葡萄与葡萄酒作为蓬莱的4大支柱产业之一，近年来得到了蓬勃发展。蓬莱之所以成就今日葡萄产业的辉煌，与蓬莱悠久的酿酒葡萄栽培历史和传统有关，与当地政府对行业的高度重视有关，
提出一种基于蒙特卡洛思想的数据查询处理算法QueryMC．在查询计算过程中，根据小枝查询模式确定待处理多维随机变量联合概率密度函数及查询区域，通过构造相同区域上的均匀分布随
公安部科技信息化局为了实现全国数字集群一张网的目标,于2013年发布了新一代警用数字集群系列标准（PDT）。根据PDT和Tetra标准在语音业务和数据业务的承载能力、性能、语音声码
本文提出了一个基于SystemC的通用存储器模型,可以作为构造SoC的通用IP模型.该模型采用统一的事务级接口,内部控制逻辑和存储器构成采用时钟精准的模型,并且提供了一系列配置