通信导航接收机数字基带芯片的验证技术研究

[复制链接]
查看: 348|回复: 0

2万

主题

3万

帖子

7万

积分

管理员

Rank: 9Rank: 9Rank: 9

积分
72345
发表于 2022-9-26 11:21:36 | 显示全部楼层 |阅读模式
目:


雅宝题库答案
****此区域为收费内容****    需支付 1 知识币后可查看,1币=0.01元查看答案


雅宝题库解析:
论文的主要工作是研究双频双模通信导航接收机基带芯片的验证技术,GPS和BD双系统兼容接收机成为当前中国通信导航系统的发展方向,而该芯片规模庞大且功能复杂,故需要一种高效的、具备一定可重用性的验证平台来提高功能覆盖率、减少流片失败的可能性,从而降低项目研发的成本提高整个芯片和接收机系统的综合质量。集成电路规模的不断增大和集成工艺的不断进步,复杂度不断提高,对集成电路的验证方法提出了更高的要求。目前芯片的验证方法包括:动态功能验证,静态时序验证,形式验证,每种皆尤其优势以及片面性,只有将这三种方法合理结构,才能有效提高验证的效率与可靠性。本文针对一款双频双模导航基带芯片的ASIC设计,制定了系统芯片的逻辑综合策略和设计约束,提出了一种针对多异步时钟域的时序约束设计方法;对芯片进行静态时序分析,并通过设置虚假路径、多周期路径、修正建立保持时间违例的方法,优化了时序;根据双系统导航基带芯片的功能提出了芯片验证平台的需求,并采用业界最新流行的SystemVerilog设计验证语言搭建验证平台;进行分层化可移植的验证平台设计,提高了功能验证的效率;对芯片进行形式验证比对,以保证芯片软件、网表的功能等价性。最终使芯片通过了三种方式验证,目前该芯片已流片,三种验证方法的综合使用为芯片流片提供了可靠保证。





上一篇:紧缩场设计及测量中若干题目的研究
下一篇:VANET分群路由协议设计与分析
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

精彩课程推荐
|网站地图|网站地图