【摘 要】
：
基于断言的验证方法已经广泛应用于芯片设计和验证,其主要作用是提高验证效率和验证质量,然而单纯依靠手工编写断言需要耗费大量人力和时间,使得断言的应用受到较大限制。为
【机 构】
：
北京电子工程总体研究所,中星微电子有限公司
论文部分内容阅读
基于断言的验证方法已经广泛应用于芯片设计和验证,其主要作用是提高验证效率和验证质量,然而单纯依靠手工编写断言需要耗费大量人力和时间,使得断言的应用受到较大限制。为此,提出一种基于需求的断言自动生成方法。通过规范波形描述方式、定义行为窗及解析寄存器传输级代码,给出信号组合算法及波形分析算法,并设计包含波形库、断言库及波形解析器的断言自动生成工具。实验结果表明,与手工编写的断言相比,该方法生成的断言在数量上满足每100条寄存器传输级代码对应10条～20条断言的要求,并且正确率较高。
其他文献
一日朋友相聚,流着汗吃火锅,似乎更添几分融融情意。正吃得酣畅淋漓之际,“呼”地脚下窜出一股火来,倒也反应敏捷,旋即拉过椅子逃遁。后来朋友开玩笑说我完全可以加入“快速
麻栗坡县的地理环境及气候条件非常适宜种植茶叶,但茶叶品质良莠不齐,茶企种植和加工的茶叶与国家标准化生产水平仍有一定的差距。作者根据麻栗坡县茶叶产业发展现状,综述了
1 材料和方法 取1970年太原出土的颅骨546例,(不分性别、年龄)观察1092例腭大孔的位置与第二、三磨牙的关系。然后用量脚规测出腭大孔的长径、宽径。以腭大孔的内侧缘用
一前言区域中心通信枢纽气象转报系统硬件,除了计算机系统本体外,双机切换是一个非常重要的硬件组成部分。它是出入于计算机系统的门户。它的功能是否齐全,设计是否合理,对于
随着中央“八项规定”的出台和反腐败工作的不断推进,以及社会主义市场经济的发展,公务员离职的话题频见媒体。根据北京大学学者2018年的调查发现,有24.5%的基层公务员表现出离职倾向,有43.8%的基层公务员有计划离开基层公务员岗位[1]。基层公务员的不断离职甚至断档,不仅增加了基层政府部门人才重置的成本,降低了基层政府的工作效率,更会造成离职的示范效应,影响基层公务员队伍的稳定和可持续发展。根据以
长期演进技术(LTE)可单向兼容全球微波互联接入技术(WiMAX),WiMAX到LTE的前向兼容却无法实现。为此,提出一种基于服务质量(QoS)的上行调度算法。通过为双方服务流提供多类映
谈溶冰观测徐正银（仁寿县气象局邮码６１２５６０）在冬季，冷空气入侵四川常使气温降至０℃以下造成纱布结冰。以往实践中，多次发生溶冰不当的现象。怎样才能减少溶冰不当情况的发生呢？可以从以下
乳酸菌具有广谱、高效、稳定、安全的特点,可以通过产生有机酸、过氧化氢和细菌素等抑菌物质抑制病原菌的生长,加强宿主机体肠道微生物的屏障作用,间接提高宿主非特异性免疫
2014年9月《国务院关于深化考试招生制度改革的实施意见》的颁布,标志着新一轮的高考改革综合试点开始启动,随后作为试点的上海市与浙江省分别发布了《深化高等学校考试招生
脑室腹腔分流术患儿的护理体会王鑫（四平市第一人民医院１３６００１）吕萍（白求恩医科大学第一临床学院１３００２１）１临床资料患儿，赵××，女，３岁，病历号：２２１４５。生后经常出现抽搐，反复发作，近几个月来持续抽搐