【摘 要】
：
SoC功能复杂度不断提高,结合了最新验证语言SystemVerilog的断言、随机约束、功能覆盖率等特点以及Verification Methodology Manual（VMM）验证架构,对SoC验证的各阶段进行了改
论文部分内容阅读
SoC功能复杂度不断提高,结合了最新验证语言SystemVerilog的断言、随机约束、功能覆盖率等特点以及Verification Methodology Manual（VMM）验证架构,对SoC验证的各阶段进行了改进。模块验证阶段灵活应用了形式验证和动态仿真验证;集成验证阶段依据可重性的思想搭建验证环境、采用迭代开发的思想提前了集成验证启动时间;系统验证阶段采取了软硬件协同验证;同时利用随机约束技术开发验证向量,利用功能覆盖率技术评价随机约束向量对功能的覆盖。通过这些改进措施达到了提SoC功能验证效率
其他文献
随着房地产行业的迅速发展,房地产已经成为国民经济的重要组成部分。房地产行业的投资较大,一般行业在进行新项目时需要融资,融资已经成为房地产行业当中的一个重要问题,传统
经济区的金融合作对地区金融发展有着不可忽视的重要作用。本文从政府相关部门职责的重要性和搭建科学合理的相关机制的关键环节着手,对成渝经济区的优势、相关机制搭建的关
运用平滑伪Wigner-Ville分布提取大脑皮层的稳态视觉诱发电位(steady state visual evoked potential,SSVEP)信号,并作为输入信号应用于脑机接口系统。研究结果表明,该方法不
党校智能后勤管理是利用物联网技术联系起来,构建起一个高效、信息、人性化的后勤管理系统,产生智能化决策。本文在分析了新时代党校智能后勤管理的特征、意义及建设目标的基
目的了解一元包装过氧乙酸消毒液的杀菌效果及毒性。方法采用悬液定量杀菌试验和毒性试验进行实验室观察。结果过氧乙酸消毒液一元包装室温存放五个月后，含量下降率为1．09％，以含
语文是小学生学习的基础学科,小学阶段的语文教学是为学生的语文学习能力打基础的,语文教师要注重培养学生形成良好的语文学习习惯,使学生能够在语文学习中提高综合能力。因
FC(倒装片)和WLP(圆片级封装)均要在圆片上制作各类凸点,它们与基板焊接互连后,由于各材料间的热失配可能造成凸点--基板间互连失效,从而影响了器件的可靠性和使用寿命.解决
党的十九大以来,市纪委监委坚持以习近平新时代中国特色社会主义思想为引领,认真贯彻落实党的十九大和十九届中央纪委二次全会精神,立足纪委监委职能,切实履行监督第一职责,
慢性支气管炎是内科常见病，病程长，反复发作，迁延难愈，感染不易控制，近2年来，笔者采用中西医结台方法治疗慢性单纯性支气管炎急性发作42例，效果满意，现报告如下。
广藿香[Pogostemon cablin(Blanco)Benth.]是我国传统的一种芳香化湿类中药,广泛种植于菲律宾、马来西亚、印度、中国等东南亚国家。广藿香有良好的抑菌和抗病毒功效,除了以