【摘 要】
：
在SOC设计中,传统功能验证方法面临诸多挑战,主要体现在:①复杂验证场景难以构建.②边缘情况难以覆盖.基于受限随机矢量生成的功能验证方法在满足约束条件的前提下,随机产生
【机 构】
：
东南大学国家专用集成电路系统工程技术研究中心
论文部分内容阅读
在SOC设计中,传统功能验证方法面临诸多挑战,主要体现在:①复杂验证场景难以构建.②边缘情况难以覆盖.基于受限随机矢量生成的功能验证方法在满足约束条件的前提下,随机产生验证矢量,有效解决了传统验证方法面临的挑战.本文以一款SOC的存储子系统控制模块为例,研究了在Specman验证平台上,使用E语言构建验证环境的基于受限随机矢量生成的功能验证在SOC设计中的应用.验证结果表明,复杂验证场景和边缘情况的覆盖率均达到100%.经过多目标圆片(MPW)流片试验和测试,采用该方法验证的模块达到设计要求.
其他文献
利用年格尔木地区4个国家气象站(小灶火、格尔木、诺木洪、都兰)的沙尘暴地面观测资料,建立格尔木10年(2006-2015)沙尘暴数据库,并分析格尔木地区沙尘暴天气的时空分布特征。
近年来，抚松县农民专业合作社组织进入了一个快速发展的时期。目前，专业合作社经济组织达300多个，而且每年以新增50个以上的速度快速增长。但绝大多数的合作社因经营管理人才缺
植物基因工程是西藏大学农牧学院生物技术专业的核心课程。为了提高此课程的教学效果和教学质量，并在民族地区高校培养具有良好素质的创新性人才，我们针对植物基因工程课程中的
“十二五”以来，通榆县农业工作坚持以科学发展观为统领，以农业增效、农民增收、农村繁荣为核心，在县委、县政府的正确领导下，在省、市主管部门的大力指导和支持下，经过全县上下的共同努力，农业农村工作取得了长足发展。 1.通榆县农业工作取得的成绩 1.1适应农业稳步发展按照适应市场、适应自然环境、适应龙头企业的需求，以推广适应高效作物品种为重点，以培育宣传高效农业典型为手段，进一步优化种植结构，美葵、
潘巨波，高中文化，磐石市牛心镇人，是参加2010年市园艺特产站阳光工程培训的一名学员。目前是吉林省冠华食用菌有限公司技术总监，负责食用菌园区全面技术工作。
油菜是湟中县优势作物,其优势主要体现在海拔高、昼夜温差大、日照充足,有利于形成高产。本文基于油料有效供给研究湟中县油菜产业发展现状,分析机遇与挑战,定位产业发展,抓
应用时域有限差分法(FDTD)计算圆形槽波导中径向盘结构的输入阻抗.用了一种简单方法近似圆形槽波导的曲线金属边界.完全匹配层(PML)应用于圆形槽波导的开放边界.细网格计算所
单片机的温度远程无线自动控制系统是由采集端和监控端两大部分组成,两端通过无线方式通信.采集端主要实现温度采集、数码显示、温度设定、无线编码发射、加热开关控制等功能
通过对黄菠萝穴盘苗不同坡位的生长量等指标进行调查,以期为吕梁山生态脆弱区珍贵阔叶树造林提供理论支持。坡下的黄菠萝幼树生长最好,坡上的次之,坡中的较弱;地径、当年枝基