论文部分内容阅读
SoC系统功能日益复杂,规模也日益庞大,SoC验证面临着前所未有的挑战.对SoC验证方法学进行了研究和总结,包括验证流程、验证层次和验证技术.通过对基于DW8051的SoC的验证实践,证明了这套验证方法学的可行性和有效性.
SoC验证方法学研究与应用
【摘 要】
：
SoC系统功能日益复杂,规模也日益庞大,SoC验证面临着前所未有的挑战.对SoC验证方法学进行了研究和总结,包括验证流程、验证层次和验证技术.通过对基于DW8051的SoC的验证实践,
【机 构】
：
北京控制工程研究所
【出 处】
：
空间控制技术与应用
【发表日期】
：
2012年5期
其他文献
汽车被盗已经成了全球性的问题,据统计美国的汽车被盗案件最多也最为严重,盗车贼用不了两分钟的时间就可以解开一辆汽车发动机点火系统的锁,另外接两根导线启动发动机把车开
脉冲相位是X射线脉冲星导航方法的基本观测量，在测量的脉冲相位与预报相位比对的过程中存在整周期模糊度问题．借鉴GPS载波相位模糊度的解算方法，提出了单差搜索法、最小二乘搜索
在我省工业化、城镇化的加速期，全面建设小康社会的关键期，省委、省政府确立了“实施新型工业化新型城镇化‘两化’互动、统筹城乡发展”的总体战略。这一战略的实施，必将有效地
五脏（肝、心、脾、肺、肾）是人体保持生命活动的重要组织脏器。而五脏的变化，在一定程度上可以反映人的形体方面的功能。而自然界食物中的五色（青、赤、黄、白、黑）和五味（酸、苦、
共管地是两个或两个以上国家共同管辖的地区，通常在各方共同的边界上。目前世界上较大的“共管地”约有3处，其中，存在时间最长、最富有探秘性的是法国和西班牙共管地——雉岛。
许多揣着车本的人,都有过这样的想法:有一天能在国外驾车兜风,悠哉游哉地畅游,那一定是件美妙、畅快的事。将这一畅想变成现实.如今已指日可待。“自驾汽车游马来”就是为您
崔光丽，民盟盟员，四川省川剧院著名演员，国家一级演员。代表作有川剧《柳荫记》、《情探》、《刁窗》、《合宫观庆》、《人间好》、《和亲记》、《好女人坏女人》、《易胆大》等
“4·20”芦山强烈地震发生仅2小时，农工党员、德阳市疾控中心食品饮用水安全控制所所长张辉，就在第一时间按照德阳市卫生局的安排，作为第一批防疫队3名成员之一奔赴灾区。
可测试性设计是提升系统研制效率和测试品质的重要方法.给出基于内部1553B总线的航天器控制系统可测试性设计的分层递阶结构,建立可测试性设计的模型框架,并对基于1553B总线