论文部分内容阅读
随着集成电路设计复杂程度的不断提高，功能验证越来越受到重视．一种新兴的验证方法，基于断言的验证，得到越来越广泛的应用．介绍了基于断言的验证方法，及其在WISHBONE到AHB转换接口验证中的应用，总结了断言验证在功能验证中的优势和特点．
基于断言的WISHBONE到AHB转换桥验证
【摘 要】
：
随着集成电路设计复杂程度的不断提高，功能验证越来越受到重视．一种新兴的验证方法，基于断言的验证，得到越来越广泛的应用．介绍了基于断言的验证方法，及其在WISHBONE到AHB转换接口
【机 构】
：
中国科学院微电子研究所
【出 处】
：
微电子学与计算机
【发表日期】
：
2012年6期
其他文献
半个世纪回──高雄吴大真．、３月３１日上午９时，我搭乘中华航空公司的飞机，由台北飞往高雄。不知是兴奋，还是激动，一阵阵心酸涌上心头，眼睛湿润而模糊了，想看清楚却又难看清楚，我在寻找着高
<正> Thyroid hormone deficiency was created artificially in chick embryos by injecting propyl-thiouracil(PTU).The tubulin was quantified by ~3H-colchicine assay
多普勒组织成像 (DTI)是根据多普勒原理,检测心肌反射的频移信号,并对心肌信号进行数字转换、自相关处理、彩色编码及数模转换等,从而得到心肌运动速度的不同模式的成像.该项
老年心力衰竭患者中糖尿病的患病率越来越高，并且是这一人群死亡的独立危险冈素。这一结果发表在今年7月的美国医学杂志上，研究者着重强调了严格控制糖尿病的重要性。
基于网络编码在并发式数据传输时能够有效地降低网络负载的优越性，应用网络编码优化分布式文件系统的容错问题得到了广泛的关注．为了研究网络编码在分布式文件系统中的应用及其
Medibank成立于1976年，作为一家私人保险公司，目前已是澳洲最大的健康保险公司。Medibank的业务目标是促进每一个人的健康，这包括了每天在Medibank Place——其位于墨尔本滨海港
心肌再生作为心血管疾病的一种新的治疗方法，成为人们研究的热点之一，目前修复损伤或死亡的心肌采用的策略有促进心肌细胞的增殖、干细胞移植和干细胞动员等方法来，其中干细胞动
汉伯河医院被公认为“北美第一家全数字化医院”，它的服务对象是多伦多西北地区多元文化城市社区的850000名居民。医院设有656张病床，2015年10月开业，计划每年收治97400名急救患
加强民工潮治理的对策建设丁金宏，孙小铭，戴淑庚，黄晨熹近几年来，我国的民工潮一浪高过一浪，由此引起的社会经济冲击也越来越沉重，成为政府部门、新闻界、学术界乃至城市居民共同关
为了电子政务系统安全信息评估精度，依据资产、脆弱性、威胁等风险评估基本要素，提出一种基于危险理论的电子政务系统信息安全风险评估方法．该方法以威胁为核心，通过威胁分析、梯