数字IC验证工程师笔试真题 1 简答题

  1. 描述 soc/ip 验证之间的区别,以及验证二者之间的侧重点。
    SoC 和 IP 从独立性来看,前者较后者更为独立,往往具备更加完整的功能。SoC 会由多个IP、子系统和其它系统模块构成,从层次来看,IP 是构成 SoC 的重要组成部分。在验证SoC 时,首先需要确保其 IP 级别都完成了验证,而在系统级别需要验证各个模块之间的
    交互和协调情况、集成连线情况,测试用例会更加真实,当然,仿真速度也下降很快,一般需要做门级仿真。在 IP 级验证时,如果是内部 IP,那么需要就接下来的运用场景(配置情况),展开重点性的验证,如果是向外部提供的 IP,那么需要针对其参数配置展开更为全面细致的验证工作,所以其特点不但是要求验证每一项功能,而且是每一项功能在不同配置下的行为是否是正确的。

  2. 介绍常用的 EDA 验证工具和 debug 工具。
    目前行业内的验证工具按照验证方法来划分显得更为清晰,我们在标注工具的同时,也会附上其主要用途。在讲工具归属的时候,我们将分别采用前缀 S-(Synopsys),C-(Cadence)和 M-(Mentor)来表示。
    动态验证方法依赖于仿真器(Simulator),包括 S-VCS,C-Incisive & Xcelium,M-Questasim。
    硬件加速模拟器(emulator),包括 S-Zebu,C-Palladium,M-Veloce。
    形式验证工具(formal),包括 S-VC Formal,C-Jasper,M-Questa Formal。
    仿真调试工具(debug),包括 S-Verdi,C-SimVision,M-Questa Visualizer Debug。

  3. 描述从芯片 spec 到 tapeout 的整个过程,重点介绍哪些步骤需要验证,以及所需的文件和验证重点。
    a. 从 spec 到模块 RTL 时,除了 RTL 文件,还需要寄存器文件来生成寄存器模型,构建UVM 验证环境,主要验证每一项 RTL 功能。
    b. 从模块到子系统时,除了之前的文件,如果在子系统级别需要模拟电源域开关,那么还需要 UPF,如果子系统单独综合且较为独立,可能还需要做门级仿真,那么需要综合网表和 SDF 文件,验证的重点将是子系统的各项完整功能。
    c.在系统级别时,除了系统级的 RTL 仿真,也需要进行 UPF 仿真和门级仿真,因此也需要对应的 UPF 文件、网表和 SDF 文件,验证的重点是各个子系统之间的交互和协调情况、集成连线情况。
😎 更多IC岗笔面真题资源会陆续分享给大家的!整理不易!点个👍
#面经笔经##笔试题目##芯片设计工程师##深度学习#
全部评论

相关推荐

点赞 评论 收藏
转发
18 93 评论
分享
牛客网
牛客企业服务