笔者作为ICC/ICC2的深度用户（deep user），在过去的大部分时间都在把玩S家APR工具里的各种相关命令、配置和GUI操作种种。最近几年也有...
对于物理验证中的LVS，需要对各种物理器件进行SpiceVsGDS的比对，基于现在流行的std-cell的库的设计方法，LVS需要对CMOS器件多相应的处...
在S家的后端设计工具里，包括DC、ICC、ICC2、PT , 大体的命令都是相通的。并且主要命令的命名和分类都是有一定的相似性的（_但是要注意...
LEF和DEF是APR工程师工作中经常会碰到的两类文件，也会对APR的基础配置和APR的flow产生直接的影响。基本相当于APR物理设计的基础建设。
我们在工作中常常会针对数组施加各式的约束，下面列举一下有趣的Systemverilog数组约束示例：
在验证一款MCU的时候，需要考虑哪些东西呢？笔者根据常用的MCU架构罗列了一份MCU的test plan。大家帮忙看看全不全？
大部分从事后端设计的同行应该没有接触过带封装的IR Drop分析（模块级别的IR分析不需要考虑封装），一般只有PA工程师、后端项目经理、封...
Lec形式验证想必ICer们都很熟悉，尤其是中后端的IC工程师，在正常逻辑综合生成网表过后或DFT 插入mbist等可测试逻辑综合后，需要对综合...
今天这期小编将继续与大家一起学习DFT的相关知识和流程代码，在开始之前，先解决一下上期DFT 学习的章节最后留下的问题—DFT工程师在收敛...
以前看到不少验证技术书籍都在说验证环境中随机怎么怎么好，然后为了随机，UVM,SV 提供了什么什么支持。
在做STA Signoff时，对于Setup来说选择Slow Corner，也就是慢工艺（SS）、低压（Low Voltage）、高温（High Temperature）；对于Hold来...
提纲1. 参考模型的含义和相关的概念。2. 参考模型要不要带时序？3. 几种参考模型的示例。IC验证工程师两只手，一个抓规格特性SPEC，另一...
提纲:1. AXI基本概念AMBA总线中APB，AHB，AXI的关系读操作写操作2. AXI OrderingOutstanding。Aw-W-B的valid/ready依赖关系AR-R的valid/...
提纲：1.从收纳中引入打包思想。2.罗列验证代码开发中的打包示例。3.归纳打包的思想。4.题外话。整理衣服，需要衣柜，收拾行囊，需要背...
提纲：1.小故事引出可验证性相关概念2.从几个方面阐述数字逻辑的可验证性设计(1)模块划分(2)数据采样(3)报文格式(4)仿真加速(5)信号命名...
根据摩尔定律的发展，晶体管的Poly的最小栅极长度已经到达了1nm甚至更小，集成电路的规模越 来越大，集成度越来越高。因而，设计者已经...
1、WiFi型号ITM1723-DS，此模块需要外部预留26MHZ晶振；注意C6201 C6204这2个匹配电容，该电容和PCB结构板材以及晶振选型有关，最终应该...
早在 2002 年，Collett International Research 就有一项关于功能验证的研究，自 2010 年以来，Wilson Research Group 继续进行此类研究...
芯东西2月8日消息，欧洲芯片制造商意法半导体（STMicroelectronics）和芯片设计软件制造商新思科技（Synopsys）周二表示，意法半导体将...
在产生了有效的激励后，需要判断出不符合功能描述的行为。Checker就是用于查看DUT是否按照功能描述做出期望的行为，识别出所有的设计缺陷。
