面向MC-SoC的验证方法研究与实现

发布时间：2024-05-22 01:04

　　SoC的验证对于发现芯片设计中的错误,提高芯片流片的成功率有着至关重要的作用。随着SoC芯片的功能日益复杂,在SoC设计过程中对验证的要求也越来越高。要实现一次流片成功的目标,仅仅使用软件仿真还是不能做到,必须采用多种验证手段相结合的方式。本论文以教研室自研芯片MC(Mode-Changeable)-SoC为研究对象,对SoC设计过程中功能验证方法进行研究,具体包括以下工作内容:1.对目前业界广泛使用的功能验证方法进行研究,提出制定MC-SoC芯片的总体验证方案。在完成系统集成的工作之后,搭建动态功能验证平台,在系统层面对各模块进行功能仿真,这样做可以保证每个模块都正常工作。为了提高整个验证平台的工作效率,大量地使用了各种脚本语言使得该验证平台更加自动化。2.对MC-SoC设计进行形式验证和静态时序分析,设计的逻辑功能通过形式验证来确保,设计的时序则通过静态时序分析来确保,只有当二者全部满足时芯片才可以正常工作。3.对MC-SoC设计进行版图原理图一致性检查和设计规则检查,其中设计规则检查为了确保版图数据满足代工厂对物理规则的要求,确保了芯片制造过程中的正确性,版图原理图一致性检查可以...

【文章页数】：72 页

【学位级别】：硕士

【文章目录】：
摘要
abstract
第一章 绪论
    1.1 选题背景
    1.2 国内外研究现状
    1.3 研究意义和论文结构
第二章 通用SoC验证方法概述
    2.1 动态仿真技术
    2.2 静态验证技术
        2.2.1 形式验证技术
        2.2.2 静态时序分析
    2.3 物理验证
        2.3.1 版图原理图一致性比较
        2.3.2 设计规则检查
    2.4 FPGA原型验证
    2.5 本章小结
第三章 MC-SoC架构设计及验证方案
    3.1 MC-SoC系统硬件架构的设计
    3.2 MC-SoC系统的地址映射
    3.3 MC-SoC系统时钟复位模块的设计
    3.4 MC-SoC系统的验证方案
    3.5 本章小结
第四章 MC-SoC系统的动态仿真验证
    4.1 仿真验证平台的设计
        4.1.1 仿真验证平台的结构框架
        4.1.2 仿真验证的基本流程
    4.2 模块的动态验证
        4.2.1 SRAM控制器模块
        4.2.2 GPIO模块
    4.3 本章小结
第五章 MC-SoC系统的静态验证
    5.1 MC-SoC系统的形式验证
        5.1.1 形式验证的基本原理
        5.1.2 形式验证过程
        5.1.3 形式验证的结果分析
    5.2 MC-SoC系统的静态时序分析
        5.2.1 静态时序分析的基本原理
        5.2.2 静态时序分析的过程及结果
        5.2.3 静态时序分析的验证覆盖率
    5.3 本章小结
第六章 MC-SoC系统的物理验证
    6.1 MC-SoC系统的版图原理图一致性检查
        6.1.1 版图原理图一致性检查的基本原理
        6.1.2 版图原理图一致性检查的过程及结果分析
    6.2 MC-SoC系统的设计规则检查
        6.2.1 设计规则检查的基本原理
        6.2.2 设计规则检查的过程及结果分析
    6.3 本章小结
第七章 MC-SoC系统的FPGA原型验证
    7.1 FPGA原型验证平台的搭建
        7.1.1 ASIC设计到FPGA设计的转换
        7.1.2 硬件部分的设计
        7.1.3 软件部分的设计
    7.2 模块的FPGA原型验证
        7.2.1 UART模块
        7.2.2 I²C模块
    7.3 本章小结
第八章 总结
    8.1 工作总结
    8.2 不足与展望
致谢
参考文献
攻读硕士学位期间取得的成果



本文编号：3980175