首页时事民生政务教育文化科技财富体娱健康情感

旅行百科职场楼市企业乐活学术汽车时尚创业美食幽默美体文摘

优惠券发放 - 形式验证与Formality软件使用视频教程

科技 2024-09-13 12:20 上海

点击上方蓝字关注我

《形式验证与Formality软件使用视频教程》

福利

群主亲自录制课程，内容含金量有保障
自今日起至10月10日，本课程有40元优惠券，请领券后购买（扫描下方二维码）
多节视频课程均附赠Lab（网易云课堂网页版可以下载）
附赠课程理论和实践课件
提供课程咨询服务

扫描加入课程

目录

章节1 课程理论部分

课时1 形式验证在数字IC设计中的位置

课时2 形式验证及EDA工具介绍

课时3 Formality的基本特点

课时4 形式验证的基本理论-Ref与Imp Design

课时5 形式验证的基本理论-逻辑锥和比较点

课时6 Reference Container和Implementation Container的概念

课时7 Formality形式验证流程

章节2 课程演示部分

课时8 Formality GUI界面形式验证流程演示（附赠RTL代码）

课时9 Formality 命令行界面形式验证流程演示及命令介绍

课时10 Formality tcl脚本的编写更加规范化、复用程度更高附赠tcl脚本

课时11 练习-用三种方式做形式验证（GUI 命令行 tcl脚本）（附赠Lab）

课时12 Formality中的命令与变量

课时13 Formality形式验证之 Internal/Boundary scan的处理（附赠Lab）

课时14 Formality形式验证之 undriven signals的特殊处理（附赠Lab）

课时15 Formality形式验证之门控时钟的设置（附赠Lab）

课时16 dft undriven icg的另一种处理方法 auto setup mode（附赠Lab）

课时17 Formality形式验证之时钟树相关设置与自定义匹配点（附赠Lab）

课时18 Formality黑盒子的设置与应用-Hier design的验证

课时19 Formality Hier design（层次化设计）的形式验证

课时20 Formality形式验证之 Debug功能演示（附赠Lab）

章节3 课件查看与下载（附件中可以下载）

课时21 理论部分课件查看与下载（附件中可以下载）

课时22 演示部分课件查看与下载（附件中可以下载）

部分截图

http://mp.weixin.qq.com/s?__biz=MzIyMjc3MDU5Mw==&mid=2247498991&idx=2&sn=f8d930c0c88cafc19043ec311c7a7854

集成电路设计及EDA教程

知识前端后端 DFT 低功耗验证 EDA 1rtl检查:LEDA 2仿真:VCS 3逻辑综合:DC 4形式验证:Formality 5布局布线:ICC 6STA:PT 7功耗分析:PTPX 8DRC LVS:Calibre

最新文章

report_clock_qor与report_clock_timing

数字IC低功耗设计之--XOR自门控与Design Compiler topo实现

Congestion Driven Restructuring(CDR)

前端低功耗设计技术 - 状态机编码与解码、二进制数表示法

后端经验分享 - ICC2 StarRC open mismatch问题总结

ICC2/FC教程-逻辑重组（Logic Restructuring）优化Timing/Power/Area

数字后端低功耗 - 多种低功耗技术及其在IC后端布局中的应用

Innovus Multi Bit Flip Flop(MBFF)实现 - 详细教程

低功耗设计技术--Multi-Bit Flip-Flop(MBFF)

低功耗技术及其后端物理实现--多阈值电压技术

UPF与低功耗设计实现实例 -- 附UPF与DC综合脚本

优惠券发放 - 形式验证与Formality软件使用视频教程

低功耗设计技术--Multi VDD--Level shifter

如何缩短Clock Insertion Delay - 1

后端面试笔试题分享 - 5 （STA、Timing分析修复相关）

ICC2 GUI交互编程技巧分享 - GUI里面绘制Rect/Point并获得其坐标

ICC2教程 - 做clock_opt期间以及完成之后Clock transition违反的修复

长文 - itf, ict, tluplus, capTable, nxtgrd, qrcTechFile以及它们之间的相互转换

RedHawk EM问题分享 - Signal EM的AVG正常应该很小才对发现有很大违反是为什么？

你们心心念念的 2025 NVIDIA校招 !

RedHawk EM问题分享 - Polynomial EM Rule for RMS mode includes DeltaT

Signal EM的分析和修复实例

后端面试笔试题分享 - 12（Timing相关）| 面试笔试题精编第4版发布

集成电路低功耗设计技术整理

ICC2教程 - Shape相关常用命令及属性的查看与修改

如何搭建一套标准EDA工具运行环境

SMIC 28nm DRC经验分享 - GT_56 Floating gate

长文 - 如何分析并手工修复Noise问题 - 附tcl脚本分享

粉丝突破3万 | 28nm DRC经验分享 - Rule precision vs database precision

版图原来可以如此惊艳--3D GDS 查看软件

精英集结，芯质力量：IC设计高级CAD训练营强势来袭，报名进行时！

如何插入OCOVL、根据Base DRC要求它的Halo应该如何设置？

4步摸准HFSS特性，解锁3D电磁仿真新世界

dbShape应用练习与结果的图形化展示

Redhawk教程 - input port上很多signal EM违反怎么办？

StarRC教程 - 如何基于Dummy/Metal Fill GDS抽取寄生RC文件

记vcs仿真过程中发现的Bug-2

记vcs仿真过程中发现的Bug

RedHawk教程 - 如何获取帮助

ICC2/FC教程-利用率计算是如何考虑标准单元/Macro的keepout margin影响的

Innovus教程 - 如何摆放Terminal - 方法2: Pin Editor的使用

ICC2/FC是如何计算利用率Utilization的？

长文 - ICC2教程 - CCD/Useful Skew

基于GPT4和个人IC设计知识库的IC设计机器人v1.0正式上线

Path Group与 Critical Range 、 Weight

如何抽取OCOVL的LEF以及遇到的问题

他献出生命，给黑暗留下了一抹光亮

IR drop问题的分析与修复（八）：根据PNA结果去调整PG Plan-2

Tree太长如何Debug? Proc分享 - 高亮最长/最短的clock path

知识星球后端视频教程大合集

分类

原创标签

时事社会财经军事教育体育科技汽车科学房产搞笑综艺明星音乐动漫游戏时尚健康旅游美食生活摄影宠物职场育儿情感小说曲艺文化历史三农文学娱乐电影视频图片新闻宗教电视剧纪录片广告创意壁纸头像心灵鸡汤星座命理教育培训艺术文化金融财经健康医疗美妆时尚餐饮美食母婴育儿社会新闻工业农业时事政治星座占卜幽默笑话独立短篇连载作品文化历史科技互联网

发布位置

广东北京山东江苏河南浙江山西福建河北上海四川陕西湖南安徽湖北内蒙古江西云南广西甘肃辽宁黑龙江贵州新疆重庆吉林天津海南青海宁夏西藏香港澳门台湾美国加拿大澳大利亚日本新加坡英国西班牙新西兰韩国泰国法国德国意大利缅甸菲律宾马来西亚越南荷兰柬埔寨俄罗斯巴西智利卢森堡芬兰瑞典比利时瑞士土耳其斐济挪威朝鲜尼日利亚阿根廷匈牙利爱尔兰印度老挝葡萄牙乌克兰印度尼西亚哈萨克斯坦塔吉克斯坦希腊南非蒙古奥地利肯尼亚加纳丹麦津巴布韦埃及坦桑尼亚捷克阿联酋安哥拉