切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
模拟验证中的覆盖评估准则
模拟验证中的覆盖评估准则
来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户:wangdaojin
【摘 要】
:
模拟作为实际工程领域中设计验证的主要方法,其不完备性常常是不可避免的,对大规模的设计方案尤其如此,因此覆盖评估成为模拟验证中不可或缺的技术.文章在陈述覆盖评估意义的
【作 者】
:
吕涛
李晓维
樊建平
【机 构】
:
中国科学院计算技术研究所
【出 处】
:
微电子学与计算机
【发表日期】
:
2003年2期
【关键词】
:
模拟验证
覆盖评估准则
电路结构
可观测性
有限自动机
错误模型
集成电路
Coverage metrics
Code
Circuit structure
Ob
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
模拟作为实际工程领域中设计验证的主要方法,其不完备性常常是不可避免的,对大规模的设计方案尤其如此,因此覆盖评估成为模拟验证中不可或缺的技术.文章在陈述覆盖评估意义的基础上,详细介绍了现有的各类覆盖评估准则,剖析了各个准则的优缺点,并通过实验得出比较数据.
其他文献
谈初中数学教学中“点”“线”“面”框架的构建
【摘要】 课堂教学应当以点带线、以线带面,循序渐进,培养学生的基础能力,同时注重实例的运用,引导学生反思,培养学生的问题解决能力. 文章立足于初中数学课堂教学,探讨了点、线、面知识解读框架的构建. 【关键词】 初中数学;课堂教学;点线面 在课堂学习中,当学生在完成了一系列的数学概念、定理或者公式等基本认知后,让他们对自己的学习过程和学习对象的特征重新进行一次再认知、再分析、再评价与再调整,这无
期刊
初中数学
课堂教学
点线面
车削R弧球道辅具的设计与应用
车削大直径R弧球道辅具的设计,通过设计一套单级圆柱蜗杆、蜗轮减速器,采用手动控制以实现在空间交错的两轴间传递运动和动力,使刀具与蜗轮同步旋转达到车削圆弧的目的。
期刊
大直径球道
几何尺寸
结构尺寸
表面光洁度
基于“四W”思维的算法与框图实验教学设计
【摘要】数学是思维的科学.数学对于学生思维能力的形成和科学的思维态度的养成具有不可替代的作用.因此,数学教学不仅要教给学生数学的概念、公式、定理等具体的数学知识,更应教给学生数学的思维方式、数学的思想方法和科学研究的一般方法,在发展数学能力的同时发展学生的问题意识和解决问题的能力.笔者参与了“数学‘四W’思维导向教学策略”这个课题,以“四W”思维为设计导向,设计了算法与框图教学实验,以文字、符号、
期刊
四W思维
算法与框图
数学实验
基于听觉模型反演方法的语音信号分析及应用
本文在吸收听觉生理学研究成果基础上,建立了一个模拟外围听觉系统和部分中枢神经系统功能的听觉模型。该模型作为前端处理来提取语音信号的自相关图谱,并且通过听觉模型的反演实现了从信号的自相关图谱中重构原始的语音信号。实验结果表明,通过听觉模型反演从信号的自相关图谱中恢复出的语音信号,具有较好的自然度和良好的噪声鲁棒性。
期刊
半波整流
自相关图谱
听觉模型反演
语音信号分析/重构
half wave rectification
correlogram
auditory model
浅谈高中数学有效教学探究
数学教学提倡有效教学,高中数学对于学生的未来发展起着至关重要的作用,而有效教学对于提高学生数学成绩和数学素养十分重要.那么如何进行有效教学呢,我将从以下几个方面进行阐述. 一、高中数学教学的有效教学 建构式教学当中指出,有效的课堂教学能够提升学生的学习动力和学习乐趣,有效的课堂教学能够促进学生对学习知识的能力吸收. 二、高中数学教学的“有效性”问题 了解到高中数学有效性教学的一个问题,那就
期刊
高中数学教学
教学探究
有效性教学
有效教学
课堂教学
建构式教学
数学素养
数学成绩
我国暖通空调系统设计与运行阶段的节能探讨
暖通空调系统在建筑中的能耗占比巨大,因此对其节能性研究十分必要。文中在分析暖通空调系统能耗的组成的基础上,分别就设计阶段和运行阶段空调系统的节能给出了相应的节能措
期刊
暖通空调系统
节能
设计阶段
运行阶段
提高高中数学课堂教学效率的策略
【摘要】影响教学质量的最关键因素是课堂教学效率,而如何提高课堂教学的效率,不仅是教师需要注意的关键,同时是学生需要思考的问题,本文根据在教学过程里所得的经验,分析了现今高中数学课堂教学出现的问题,根据对于问题的分析,做出了解决相关问题的对策,望能够对提高数学教学效率有所帮助,进而促进学生在数学学科上的进步。 【关键词】高中教学;教学效率;策略 在当前,对于大部分高中的数学教学来说,普遍存在着老
期刊
高中教学
教学效率
策略
与本文相关的学术论文