【摘 要】
：
本文主要描述了对一款数字信号处理器的模型基于仿真验证的验证方法,对数字信号处理器的SystemC模型和RTL级的模型进行了验证。着重分析了如何在验证过程中提高覆盖率,提高验
【机 构】
：
清华大学微电子研究所,中国科学院微电子研究所
论文部分内容阅读
本文主要描述了对一款数字信号处理器的模型基于仿真验证的验证方法,对数字信号处理器的SystemC模型和RTL级的模型进行了验证。着重分析了如何在验证过程中提高覆盖率,提高验证的完备性。针对该处理器的结构特点,采用多种方式产生验证程序来验证模型的正确性,包括编写手工编写验证程序,替换验证,组合验证,高级语言转汇编的验证和伪随机验证,并对数字信号处理器的代码覆盖率进行了统计。验证后该数字信号处理器的模型能够与参考模型保持一致。
其他文献
本文主要是对通信工程和电子信息工程的发展应用展开一个讨论,在当前时代,不论是通信工程和电子信息工程都是属于高新技术领域,与人们的生活与生产息息相关。对社会经济发展和文明进步都具有推动作用。也只有加强对通信工程和电子信息工程的研究,明确其具体特点、应用、发展现状和发展前景,才能更好的做好发展规划。
浙江省经济能够持续、快速、健康的发展,区域块状经济起到了举足轻重的作用.但是,区域产品技术含量低、质量问题严重,已成为影响浙江经济持续健康发展的突出问题.尽快研究出
本文将配准技术与插值算法相结合,通过对场景中运动物体的时间帧配准、时间域和空间域的插值,生成了任意时刻、任意视点处的渲染图像,完成对运动物体时空域的光场渲染。该研究结合并推广了传统光场渲染方法,放宽了对场景的要求。和现有的方法相比,该方法适应性强、鲁棒性好。实验结果进一步体现了该方法较好的应用前景与可操作性。
税费改革是近期内农村的焦点话题,它与我国的财政体制法制化紧密相连,与农民利益休戚相关.受省教育厅委托,我们于2003年1月18日至1月21日在成宁市咸安区就农村税费改革等问题
本文设计了一种基于单片机控制的低成本,高可靠性的流量计费式节水控制系统。通过使用涡轮流量传感器将实际使用水量转换为电脉冲数,从而实现控制系统的流量计费,增强系统的
农民专业合作社在新形势下如雨后春笋般在广大农村蓬勃兴起，调动了农民的生产积极性，促进了农民增收，对农村经济的发展起到了积极的促进作用。但由于农民专业合作社在规模经营、
随着市场经济的逐步发展与完善，中小企业在我国经济中的地位与作用越发明显，如何从税收上加大对中小企业的扶持力度，目前显得尤为重要与迫切。
真正的执行难是指有执行条件而因种种原因致使执行行为不能依法正常进行、债权人的权益部能通过执行程序及时实现的现象。人民法院内部对执行活动的阻力和障碍一定程度上在于
近日,由潍坊东方钢管有限公司自主研发的环氧锌基聚酯复合涂层钢护栏,在云南罗平江底至陆良召夸高速公路上成功应用,这是云南省境内第三条采用环氧锌基聚酯复合涂层钢护栏的