论文部分内容阅读
随着设计规模及其输入数据量指数性增长，模拟时间已长得无法忍受。另外，也很难判断模拟验证的完备性。形式验证不用向量、运用数学方法证明设计的特征和等价性，对这两个问题给出解决办法，但技术发展仍存在不少难题。在模拟中引入形式验证技术，形成的断言验证方法，可能是解决验证危机的有效办法。
数字芯片设计的断言验证
【摘 要】
：
随着设计规模及其输入数据量指数性增长，模拟时间已长得无法忍受。另外，也很难判断模拟验证的完备性。形式验证不用向量、运用数学方法证明设计的特征和等价性，对这两个问题给出
【机 构】
：
清华大学微电子研究所
【出 处】
：
中国集成电路
【发表日期】
：
2004年2期
其他文献
课堂训练内容冀教版二年级上册“综合练习七·口语交际”。想地方野外什么地方最好玩儿？这里有什么新奇的东西？同学们会有什么收获？这里有没有安全隐患？
本文以一个整合了ARM核和多DSP核等IP的多媒体处理SOC芯片的验证项目为背景,介绍了项目中所采用的以覆盖率为目标,以随机验证为基础,自底向上的验证方法.文中结合了项目中的
本文首次对新近提出的一种新结构的IGBT——内透明集电极IGBT进行了器件性能的仿真。这种IGBT是在传统非透明集电极IGBT结构基础上,通过在集电区内距离集电结很近处设置一个
选用一种合适的胶粘剂，以达到某种芯片特别的粘接应用要求是一件头痛的工作。胶粘剂制造商们会有很多品种胶水提供给客户，以满足各种芯片在不同领域的应用要求。本文通过介绍胶
摘 要 目的：了解高职医学新生和毕业生之间的心理健康情况，早期发现问题，早期提供心理卫生保健服务。方法：在校新入学的医学生和即将毕业的医学生两组，男生均为100人、女生均为140人。采用精神症状自评量表SCL-90，以班为单位，在同一时间、地点，实施统一指导语言，进行测试，要求学生在规定时间内独立完成。结果：毕业生与新生相比，除焦虑水平增高外（P≤0.01），其他各因子分均值均显著降低，其在强迫、
从空间和时间2个变化尺度上对种群动态反映在遗传结构、组成上的变化的研究进展作了总结．在空间尺度上，文献主要是从育种养殖、病虫害防治和珍稀濒危物种保护等方面进行研究，反