一种面向测试的RTL行为抽象与蕴含方法

来源 :同济大学学报(自然科学版) | 被引量 : 0次 | 上传用户：conan_1126

【摘要】

：

针对寄存器传输级(register transfer level,RTL)行为的抽象,提出了一种层次化的带条件的表示.这种抽象的行为是面向测试的,它不仅表达简单,而且能很方便地进行蕴含操作.通过

【作者】

：

尹志刚李华伟李晓维

【机构】

：

中国科学院

【出处】

：

同济大学学报(自然科学版)

【发表日期】

：

2002年10期

【关键词】

：

抽象蕴含寄存器传输级行为描述测试向量集成电路芯片测试 register transfer level(RTL) behavioral descri

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

针对寄存器传输级(register transfer level,RTL)行为的抽象,提出了一种层次化的带条件的表示.这种抽象的行为是面向测试的,它不仅表达简单,而且能很方便地进行蕴含操作.通过抽象,电路可以规范为行为集,并代替电路本身进行功能测试向量的生成.在测试生成过程中,大量地应用蕴含操作可以使其中的行为得到简化,并极大地提高了系统的效率.

其他文献

电力企业物资管理探讨

随着物资归口管理的实施，管理层次的扩大使得企业间、部门间、层次间的信息流量显著增加，其协调配合的难度会越来越高。电力企业物资管理实行了物资归口管理模式，产生了明显的社

期刊

电力企业物资管理

重庆ABB变压器有限公司的技术优势及产品特点

ABB瑞典卢德维卡的变压器技术是全球最先进的技术，堪称变压器行业的领导者。而重庆ABB变压器有限公司引进的正是ABB瑞典卢德维卡的变压器技术，并随卢德维卡变压器技术的发展而

期刊

重庆有限公司技术优势变压器行业瑞典引进技术世界ABB

上海合流污水泵站高位井浑水模型试验研究

运用泥沙水力学及相似理论,合理选用密度轻于天然沙的酚醛塑料沙作为模型沙,对上海市污水治理二期工程中线2号污水泵站高位井进行浑水水力模型试验和数值计算,以探讨高位井的

期刊