IC Verification Record

最新推荐文章于 2024-10-15 11:38:19 发布
原创 最新推荐文章于 2024-10-15 11:38:19 发布 · 326 阅读 · 1 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#IC verification

本文探讨IC验证的方法论，强调spec的重要性，提出验证计划需细致，并讨论RTL设计与验证的协同作用。文章还分享了关于测试案例设计、系统级验证及常见问题解决的经验。

记录IC验证有关的杂谈

Record

  • spec是主要来源
  • 大体方向上，尽量跟DE分开解读spec，摘取测试点；但是对于比较internal的case，还是需要DE帮设想
  • 工作应该有主次，有些是必须的，有些是非必须，有些是首先要覆盖的
  • verification plan需要验证者，尽量写得细，verifylist做得好，工作就完成一半了
  • 没有spec，拒绝验证！没有spec，拒绝验证！
  • 设计工程师也需要根据rtl来提出一些具有风险或者复杂场景的功能点
  • designer完全按照自己的理解写spec
最低0.47元/天 解锁文章
【IC_Verification】UVM实战--张强
m0_51186267的博客
09-08 2220
1。
verification plan
04-20
关于verification plan的认识，如何写的总结，尚不完善，以后有空补充更新。
the verification plan
mikiah的专栏
04-12 1536
First ,verification plan --------a specification of the functioal verification process and  of the testbench infrastructure that will be necessary to support it.It is used to define what is first-time success,how a design is verified and which testbenches
Nostr with NIP-05 Verification Guide
FeelTouch Labs
02-03 523
NIP-05 提案是针对用户 Nostr 帐户的验证方法，可以将其视为 Twitter 或 Instagram 上的蓝标。
IC验证前沿——能做好验证IP的verifier是验证顾问的不二人选
路科验证
08-06 2087
路科验证官网：路科验证 - 专注于数字芯片验证的系统思想和前沿工程领域 EETOP路科首页： EETOP - 路科验证 - IC验证培训 优快云路科首页：优快云 - 路科验证 - IC验证培训 昨晚读到一篇关于对DFT测试寄存器建模的论文，写得非常好，One Stop Solution for DFT Register Modelling in UVM，来自于AMD HUANG,Ru...
数字ic验证工程师面试题|ic验证面试常问88道
weixin_52955333的博客
10-28 4605
给大家列了88道数字ic验证工程师常问面试题，帮助大家做面试准备，希望大家可以过五关斩六将，成功拿到满意的offer!
openssl s_client -connect secure.ic-account.com:443 -tls1_2 Connecting to 198.18.5.219 CONNECTED(00000005) C0A020F601000000:error:0A000410:SSL routines:ssl3_read_bytes:ssl/tls alert handshake failure:ssl/record/rec_layer_s3.c:916:SSL alert number 40 --- no peer certificate available --- No client certificate CA names sent --- SSL handshake has read 7 bytes and written 221 bytes Verification: OK --- New, (NONE), Cipher is (NONE) Protocol: TLSv1.2 Secure Renegotiation IS NOT supported Compression: NONE Expansion: NONE No ALPN negotiated SSL-Session: Protocol : TLSv1.2 Cipher : 0000 Session-ID: Session-ID-ctx: Master-Key: PSK identity: None PSK identity hint: None SRP username: None Start Time: 1756727240 Timeout : 7200 (sec) Verify return code: 0 (ok) Extended master secret: no ---
09-02
我们之前已经讨论了浏览器访问时出现的SSL错误，现在用户的问题是使用`openssl s_client`连接`secure.ic-account.com:443`时出现SSL alert handshake failure（错误代码：0A000410）。这个错误通常是由于客户端和...
一些笔者原创或者搜集的 ABAP 小工具集合（一），持续更新中！！
2007 年 ~ 2025 年，深耕 SAP 技术 18 年
10-15 2157
每个报表短小精悍，拷贝到系统激活即可运行。不少报表脑洞大开。
UVM Object机制实例源码解析与应用
UVM（Universal Verification Methodology）是一种广泛应用于集成电路（IC）验证领域的标准化方法学，基于SystemVerilog语言构建，旨在提升验证平台的可重用性、模块化和自动化程度。而“UVM Object机制实例源码”这...
数字IC验证：几大功能验证(Functional Verification)技术有哪些？
IC Beginner的博客
07-21 8237
文章目录功能验证的目的五大验证技术1 静态验证 (Static Verification)2 功能仿真 (Functional Simulation)3 FPGA原型验证 (FPGA Prototyping)4 硬件仿真 (Emulation)5 UVM通用验证方法学 (Universal Verification Methodology)总结 写在前面：最近在实习中学习数字验证，每天学习的内容会整理记录下来。首先是对功能验证的理解。本文参考资料为维基百科-Functional Verification词
IC设计职位详解之“数字验证工程师”就业必学课程
coachip的博客
11-23 5590
数字验证处于数字IC设计流程的前端，属于数字IC设计类岗位的一种。在IC设计中，数字验证所占的人数比重是非常多的，很多大公司，数字前端设计工程师与验证工程师的比例已经达到1：3。 　　数字验证主要分成几种层次的验证：IP level， unitlevel，fullchip/SoC level， gatelevellevel，硬件加速仿真等。 一、数字验证工程师主要干什么？ 1. 阅读各种SPEC 　　最重要的一份spec是design spec，就是和你一起合作的好基友设计工程师写的设计文档，比如下面这种：
verification和validation的区别
热门推荐
yy19890521的博客
09-03 2万+
软件验证(Verification)和软件确认(Validation)是测试理论中包含的两个基本概念，我对这两个概念的确切含义的理解，以及在实际测试工作中有什么指导意义，一致存在模糊的认识。 这两个概念，在很多英文文章里这两个术语经常缩写成“V&V”，比较权威的解释是： IEEE,1991 软件验证技术是“评估系统或部件在特定的开发阶段是否满足该阶段开始时人们对它提出的要求” 。 软件确认...
2020-05-07
m0_46458206的博客
05-07 425
阅读各种SPEC 最重要的一份spec是architecture spec，就是和你一起合作的好基友架构设计工程师写的设计文档，比如下面这种： 其中需要重点了解的内容是：features：这个模块需要支持的性能列表。IO ports：这个模块对外的IO端口。operation mode：这个模块的主要工作模...
IC验证方法基础
简单同学
10-29 1万+
数字IC的设计流程，如下图所示： 其中讲到形式验证的时候就懵了。当时老师说，其实我也记不太清了，就从网上找了一下： 形式验证（Formal Verification）是一种IC设计的验证方法，它的主要思想是通过使用数学证明的方式来验证一个设计的功能是否正确。 形式验证可以分为三大类： 等价性检查（Equivalence Checking）、 形式模型检查（Formal Model C...
Verification Plan
qq_43112471的博客
02-16 991
验证计划的内容 技术角度 验证的功能点（按照优先级划分） 基本功能：通常包括时钟、 电源、 复位、 寄存器访问和基本特性， 这些可以在模块级完成验证。 互动功能：一些需要同其他模块互动的特性，需要在更高层次的子系统级或芯片级完成验证。 次要功能：通常这些功能在项目后期完成验证，如性能验证、 效能验证。 即使它们没 有通过验证要求， 也不会对芯片造成致命影响。 验证的层次（结合验证功能点，划分验证层次） 应该尽量在较低的层次验证更多的功能点。在较高的层次，如芯片级，应该侧重于系统集成测试。 验
数字IC验证中规划功能覆盖率最重要的三件事
ilearn的博客
03-20 1841
在数字芯片验证中功能覆盖率是个什么角色？对于验证小兵，它指导验证的方向；对于验证经理，它量化评估验证项目进度的指标。所谓“选择比努力更重要”，一旦涉及方向或者最终评估手段的，就绝对不能...
遥感监测基于SAR数据的洪水变化检测：Sentinel-1影像阈值分割与多时相合成分析
12-02
内容概要：本文介绍了一项基于SAR（合成开口雷达）数据的洪水变化检测实践任务，重点在于利用Sentinel-1 GRD数据进行灾后监测。文中详细讲解了从数据获取、过滤、合成到变化检测与可视化展示的完整流程。由于SAR数据不受云层和昼夜影响，特别适用于灾害应急响应。通过对比洪水前后两个时间段的SAR影像，采用中值合成去噪、比值法计算变化指数，并通过阈值分割生成二值化的洪涝淹没图，最终在Folium地图中实现叠加可视化。; 适合人群：具备遥感基础知识和Python编程能力，熟悉Google Earth Engine平台操作的科研人员或高年级本科生、研究生；对灾害监测、环境变化分析感兴趣的技术人员；; 使用场景及目标：①掌握SAR数据在洪水等自然灾害监测中的应用方法；②学习如何在Earth Engine中处理Sentinel-1数据并实现变化检测；③构建完整的遥感变化检测分析流程，包括数据预处理、影像合成、阈值分割与结果可视化； 阅读建议：建议读者结合代码实例逐步实践，重点关注filterDate、median合成、divide运算和lt阈值处理等关键步骤的操作逻辑，并注意地理坐标顺序、图层叠加方式等细节问题，确保分析结果准确可靠。
基于Web与物联网的分布式智慧农业环境监测系统源码实现
最新发布
12-02
**项目资料：基于网络与物联网架构的分布式农业环境远程监控系统源代码** 本资料包提供了一套完整的分布式农业环境远程监控系统实现方案，该系统融合了现代网络技术与物联网架构，能够实现对农业生产环境的远程、实时、多节点监测与管理。系统源代码经过全面测试，各项功能运行稳定可靠，可供直接部署或二次开发使用。 该资料适用于计算机科学与技术、人工智能、通信工程、自动化、电子信息工程等相关专业的高校师生、科研人员以及行业技术人员参考学习与实践。对于希望深入理解物联网应用开发、分布式系统设计或智慧农业解决方案的学习者而言，本资料具有较高的参考价值。同时，其完整的项目结构也适用于毕业设计、课程设计、项目实践或作为特定功能模块的开发基础。 使用者可根据自身需求，在现有代码框架上进行功能扩展、算法优化或与其他系统进行集成。我们鼓励基于此代码进行合法的学习、研究与创新应用，并通过技术交流共同促进相关领域的技术发展。 资源来源于网络分享，仅用于学习交流使用，请勿用于商业，如有侵权请联系我删除！
在AI+时代，地方政府如何利用数字化升级路径重构市场占有率？.docx
12-02
在AI+时代，地方政府如何利用数字化升级路径重构市场占有率？
what is verification points called in trhe context of digital ic verification
11-14
在UVM（Universal Verification Methodology）中，可以通过编写断言（Assertions）或者在监视器（Monitor）组件中添加检查逻辑来实现检查点的功能。以下是一个简单的SystemVerilog断言示例，用于检查一个加法器的...
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值