EDA工具
ZYZ_DIDO
这个作者很懒,什么都没留下…
展开
-
Formality Error/Debug
1、Formality在match过程中报time limit一下内容均为运行match命令后打印的log:“Reference design is r:/WORK/kanas_top_v2Implementation design isr:/WORK/kanas_top_v2status: Checking designs...原创 2017-05-25 10:49:30 · 3267 阅读 · 0 评论 -
design compiler——DC
Library1、technology lib由代工厂提供,不同代工厂、不同工艺制程而不同,涵盖设计规则约束、运行环境设置、线载模型等等。需要以*.db的格式读入dc。(但有时提供的事源代码形式的,可以使用dc将骑转化为db格式)2、target lib:*.dbdc优化过程中,被映射到的tech lib称为target lib。即这部分包含内容是生成网表过程中用到的cel原创 2017-05-05 19:37:06 · 5340 阅读 · 2 评论 -
lib2db的方法与问题
1、直接启动dc_shell或dc_shell-t或dc_shell -gui,首先,运行命令:read_lib “lib文件”,若提示“write_lib in dc_shell is not enable,please start new session and do enable_write_db_mode to enable it”,可以退出dc_shell,采用启动lc_shell,重新原创 2017-05-18 11:11:53 · 5637 阅读 · 0 评论 -
Formality形式化验证脚本范本
1、验证带DFT网表:首先要disable scan logic和Bist功能2、可以将所有的代码、网表,包括所有的子模块、顶层的全部读入,在read过程中针对top使用set_top,有关环境设置不急于读入,完成后,可以保存该阶段性为*.fss格式文件(下次restore_session该文件即可,库、网表、设计不需要重复读入)。脚本主要过程如下:source ./variable.原创 2017-05-19 16:59:12 · 10439 阅读 · 0 评论 -
formality 命令/变量的使用及各种设置
注意记录变量/命令使用过程中产生过歧义或使用不当以及比较重要的原创 2017-06-12 18:17:45 · 5320 阅读 · 0 评论 -
“make: `run' is up to date”原因及解决办法
makefile时,目录中存在和target名称相同的同名文件时的报错信息和解决办法原创 2017-08-17 15:46:12 · 15457 阅读 · 0 评论