2020年第四届全国大学生集成电路创新创业大赛自开赛以来,共有来自全国七大赛区的141支队伍报名“Arm杯”赛题,经过企业评审和分赛区初赛...
最新一期《GQ talk》梁文道对谈马家辉聊职场关系,聊到退休,他们都认为这件事不会在自己身上发生。也是,不论用哪种价值体系衡量,他们...
题记:继续STA 部分的陈诉,跟本篇相关的文章请看《绿蚁新醅酒,红泥小火炉:STA之OCV》《晚来天欲雪,能饮一杯无:STA之AOCV》,POCV ...
2018年11月30号,加入C 记整三年,从2010年入职场以来,是到目前为止呆得第二久的公司。此前的东家有:大美满三年半、大S 不到两年、松...
题记:继续SOCV / POCV论述,前文回顾请看《论STA:SOCV / POCV 开篇》,本文继续铺垫,详尽描述 variation。
Embedded Studio是用于嵌入式系统的多合一集成开发环境(IDE),用于管理,构建,测试和部署嵌入式应用程序。Embedded Studio还提供了功...
STA无疑是数字集成电路设计实现方法学中最『漂亮』的模型之一,但是随意着工艺进步,local varition 的随机性及重要性增加,传统STA 的...
Power Switches:用于控制shut off power domain 电源的开关,power switch 用于控制power net 故跟power plan 相关,在实现时需要精细...
题记:形式验证在数字电路实现过程中无处不在,从今儿起打算写一系列 LEC 的文章。材料多来自Cadence support 网站的App Note, RAK, Art...
Isolation:当一条net 的driver 在shutoff power domain 而load 在more on power domain 时,该net 在跨power domain 时就需要插入isola...
CPF, UPF, IEEE1801 这些名称的渊源可参阅《一文读懂power intent的历史:从CPF/UPF到IEEE1801》,1801的内容其实十分简明,概括来说一...
LEC flow 分flat comparison flow 和 hierarchical comparision flow. 通常RTL2Gate 用hierarchical flow, Gate2Gate 用flat flow. 两种...
动态仿真、硬件加速或者其他的一些验证流程只能“证伪”,而不能“证明”。真正完备的验证应该对设计进行严谨地数学分析,从原理上对进行证明。
clock gating check 是『约束』的一种,可由用户显示设置,也可由工具推断,目的是保证穿过clock gating cell 的clock 没有glitch 且波...
前面一章节介绍了在Windows下搭建Eclipse开发环境,本章节将介绍在Windows环境下基于Eclipse开发、调试MM32。
Arm近日发布了Arm® Cortex®-R系列的最新产品Cortex-R52+,可支持汽车电子设计的演变,帮助汽车研发人员在巨大的压力下,达成汽车设计的...
按照单位计算的复杂度,处理器平台大致分为CPU、协处理器、GPU、FPGA、ASIC。从左往右,单位计算越来越复杂,灵活性越来越低。也即是说C...
《clock gating | 从ICG cell 在 library 中的定义说起》陈述了clock gating 在library 中的描述,本文捋一捋综合时clock gating 的插入...
温故知新,如果你是初次阅读该系列,建议先阅读一下《论形式验证 | LEC Jumpstart》《论形式验证 | 撸 LEC flow》《论形式验证 | KeyPoi...
Clock gating 应该算得上IC界十大高频词汇,也是Icer 入行之初最早接触的重要概念之一,但是它并不简单。在数字电路整个设计流程中,它...