论文部分内容阅读
主要阐述了基于断言技术新硬件验证平台用于实时监测设计描述是否违反了设计目标，提出了OVA的特点及应用，并以LCDcontroller的sharp接口时序为实例讲解了该方法的优点。
断言技术在SOC验证中的应用
【摘 要】
：
主要阐述了基于断言技术新硬件验证平台用于实时监测设计描述是否违反了设计目标，提出了OVA的特点及应用，并以LCDcontroller的sharp接口时序为实例讲解了该方法的优点。
【机 构】
：
重庆邮电大学
【出 处】
：
山西电子技术
【发表日期】
：
2007年5期
【基金项目】
：
国家863项目（N0.2004AA001390）
其他文献
双十一以及电商不该是实体零售的噩梦其实,自从实体零售走向转型大考的第一天起,整个电商便遭遇无穷无尽的怨愤,并被不断的污名化。双十一,用自己近乎疯狂攀升的同比数字,一
<正> 乍一听到基尔的这个地名,竟不知道在哪里。翻开世界地图,好不容易在德国北部的一个角落里找到了基尔。基尔市是一个小城市,人口20万,是著名海港。波罗的海像一根楔子插
“有机统一性”则是中国传统哲学的重要关键词。反对西方近代哲学把主体和客体对立起来的二元论的立场,本文从中国古代传统哲学发展的内在逻辑的角度,依照本体论和认识论的哲
【正】 班主任是校长领导下班级工作的具体组织者和领导者,班主任也是沟通学校与学生、家庭、社会的桥梁。班主任工作的核心是德育工作,多年来我是这样做好德育工作的。一、
党的十八大以来,党中央把严肃党内政治生活、净化党内政治生态摆在更加突出的位置来抓,坚持全面从严治党,大力整治形式主义、官僚主义、享乐主义和奢靡之风,严肃查处党员、干
研究了侧柏叶化学成分对小鼠毛发生长与预防脱毛的作用。通过建立松香石蜡脱毛模型,研究侧柏叶对小鼠正常毛发的生长促进作用,结果表明,侧柏叶挥发油对促进毛发生长作用较明
研究了矢量信道在时域和空间域对信号的影响，即信号的快衰落特性。充分考虑了时延扩展，到达角，角度扩展，角度功率谱，多普勒效应等空域时域关键参数，并给出了仿真结果，对于研究矢量信
彩色交流等离子体显示器采用了子场技术来实现灰度的显示,希望用较少的子场进行显示高灰度级的图像,这样可以减少用于寻址的时间,增加维持显示的时间。用较少子场或灰度级显示高灰度等级图像时,如果不采用图像增强技术会出现明显的假轮廓现象,基于MATLAB的数字图像处理技术,提出了一种基于边缘检测的动态误差扩散算法,经仿真结果表明,这一方法应用于交流等离子体显示器中,不仅能够减少因较少子场引起的假轮廓,同时还
我是一名肾病综合征状患者,由于病情时常复发,便在葫芦岛市中心医院接受治疗,因长期口服激素及免疫抑制剂,我的免疫力变得非常低。2016年年初,又忽然患了重症感染,家人经过再