具有逻辑仿真功能的数字电路测试语言

来源 :计算机应用与软件 | 被引量 : 0次 | 上传用户:yhbin2yhbing
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文论述了数字电路测试系统中的测试语言的设计以及逻辑功能仿真的实现。
其他文献
本文介绍了一种新型的程序翻译法——译文直接构造和一种翻译器生成系统——译文直接构造系统(TDCS)。这种系统采纳了某种语言语法和某些翻译规则后,它就能构造出这种语言的翻译器。这种翻译器生成系统对于开发专有语言是十分有用的。
江西省德兴市百勤VC钠有限公司位处大山深处,是一个近年来在国际竞争中逐渐成长起来并发展成为全国农业产业化国家重点龙头企业与国家火炬计划重点高新技术企业.荣誉接踵而至
[目的]调查天山西部生态环境植被覆盖状况,为科学保护区域生态环境和管理提供科学依据。[方法]以天山西部林区—霍城林场为研究对象,基于1999,2007和2016年3个时期的Landsat
本研究意在构建一个适用于科学视频的语义标注框架,为科学视频的语义标注提供策略参考。在对科学视频进行内容语义和视频结构分析的基础上,把标注结果与关联数据连接,并借助
在调研了解外浮顶储罐主要结构的基础上,根据火灾发展规律,重点对外浮顶罐初期密封圈的火灾、储罐管线大量泄漏形成的防火堤池火灾及储罐线路阀门泄漏造成的流淌火灾处置扑救战
学生饮用奶是由我国政府所倡导并通过实施专项计划供给在校学生饮用的一种特定的液态乳制品,它是以优质的鲜牛奶做为主要原料,采用超高温灭菌技术(UHT)和无菌灌装技术而生产
许多科学和商业应用需要对瞬时数据流做立即分析,许多分析技术的核心操作是使用密度估计寻找未知的连续数据分布,近期的研究证明基于小波的方法优于传统的密度估计技术。由于计算资源的限制,基于小波的方法无法直接用于无限的数据流。提出一种数据流上计算概率阈值小波密度估计的新方法,只需要确定数量的内存,能以在线的方式更新估计,实验证明了方法的有效性。
针对高寒林区输油站场消防管道系统出现的实际问题,分析了该类站场消防系统设计的特点和难点。以国内高寒林区的一座输油站场改造工程为例,采用分析比选的方法,从规范的适应性、
本文针对基于智能协同链群的企业现代生产集成系统探讨建立体系模型的方法与协同模型。一个软构件知识点是智能系统的一个基本调用单位 ,生产单元在系统智能协同链群组建时可以按照自己的协同需求调用合适的软构件知识点以构成智能型生产单元 (软节点知识点 ) ,也可以按照自己的协同需求删除不合适 (或过时 )的软构件知识点。各生产单元以知识点的形式分布于物理网络的各个端点。软构件知识点是由若干智能元 (或称智能
以青海省湟源县湟水河滨水环境为研究对象,通过构建影响湟源县滨水环境的评判指标体系,应用模糊数学和层次分析法建立了数学评判模型,对湟源县湟水河滨水环境进行了评判。结果表