可重定位的基于事务的系统级验证

来源 :电子设计应用 | 被引量 : 0次 | 上传用户:youzheng123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
功能验证已经成为开发SoC的主要问题.随着一些复杂SoC的规模超过两千万门,以及对开发和集成嵌入式软件的需求持续增加,软件模拟器已经力所不及.在设计过程需要几百万个时钟周期来充分测试和验证软件功能的情况下,软件仿真器的性能下降到1-5Hz.按照这种速率,软件调试需要几年的时间.如果设计项目组不能够投入这么多的时间,则意味着SoC芯片制造出来之后,在加电后的几秒内就会出现错误.
其他文献
采用传统熔体冷却法制备TiO2掺杂量为0~1.8 wt%的TiO2/SiO2-Al2O3-MgO系玻璃,探讨了不同TiO2质量分数对玻璃体积密度、弯曲强度、压缩强度、压缩模量和结构稳定性的影响规律.
水浒社黄泥冈社区廿七日未时一刻电 惊爆!六月廿七日巳时,十万贯生辰纲竟在黄泥岡不翼而飞。据官府披露,以晁盖为首的刘唐、吴用、阮小二、阮小五、阮小七、公孙胜和白胜八名犯罪嫌疑人今日在黄泥冈聚首,乔装易容,劫取大名府梁中书赠予蔡太师十万贯生辰贺礼。  巳时三刻,受梁世杰委托护送生辰纲的被害人杨志带领一众护送将士到达事发地点黄泥冈休息,由犯罪嫌疑人晁盖等七人乔装成贩卖枣子的人员与杨某周旋,后杨某推辞走开
期刊
英语作为一门语言,用其与人交流、表达是其价值的体现,因此,在授课的时候,教师要更新教育观念,要注重英语口语教学,促使学生从小养成良好的学习习惯。 Therefore, when teac
专门为3G增值关键的微型和超微型基站优化的模块化、低成本、可扩展和灵活性的预处理交换芯片.rn第二代PPS支持3G部署策略的主要元素--模块化、性能、成本、可扩展性、灵活性
2003年,惠普公司针对数字印刷市场推出了全新的“彩色数字短版印刷服务”,并在全国范围内举行了一系列巡展活动,以扩大该项服务在数字印刷领域内的影响力和渗透力。2003年12
行政机关发布的规范性文件,俗称“红头文件”,作为各级行政机关实施行政管理的基本方式,“红头文件”数量最多,适用范围最广,且具有反复适用性与普遍约束力,对公民、法人或者
随着新课改进程不断深入,对语文教学质量要求越来越高.小学阶段是素质教育的起始阶段,肩负着人才培养的重担,特别是在素质教育改革的大背景下,核心素养的培养是一直被强调,因
(ICEPT—HDP)2008年7月28日--31日上海·中国征文通知关于ICEPT-HDP2008在过去十多年间,由中国电子学会生产技术学分会(CEPS)主办的电子封装技术(ICEPT)和上海大学主办的高密
期刊
糖类和光周期是植物成花启动中的重要因素,二者相互作用,共同调节植物成花。新铁炮百合(Lilium×formolongi)具有短生育期的特性,在适宜条件下,一年内可实现从播种到开花。为