本文介绍tcl里定义函数的方法

本文介绍了在innovus中用命令找到port/pin/net的drive和load的方法

因为APR place位置原因，需要dc综合时，在sram输入输出pin上插一对反相器，那么应该怎么做呢？

本文介绍在innovus里写一个tcl函数实现插入某cell的阵列的方法。

本文介绍用cadence quantus extraction从DEF抽spef的流程和方法，一次性可以抽取多个corner的spef。

本文介绍用华大九天的argus来检查drc、lvs、lvl等

本文介绍如何在calibre drv里查看分析calibre rve里报出来的error

本文介绍cadence conformal lec读入synopsys dc产生的svf来提高准确率的方法

查找库里的cell不用打开.lef，也不用打开.v或者pdf

innovus如何place得更平均和松散，有几个办法

innovus仅重绕单根线的方法

一个dc做逻辑综合的示例脚本，包括设置svf，插icg，去除assign，去除网表中特殊字符，导出网表和sdc，保存ddc等

innovus里批量修改dont touch、sizeonly属性的方法

我们经常遇到formality Fail，但却无从下手。根据多年的debug经验，总结了一些排除和debug formality fail的步骤和要点，供大家参考。

介绍multibit flipflop的差异和使用方法

innovus对GUI里手工复制的inst批量重命名

用highlight命令来给cell或port指定颜色

当Formality报Fail后，优先利用工具的`Analyze`和`Diagnose`命令来分析一下，看看是否有明显的提示。如果没有，就先分析logic cone的的input是否相同，然后再打开logic cone的电路进行对比。优先对比clock和reset/set路径，因为clock和复位的关系相对简单，容易查找。最后再对比数据path，借助Show Patterns，对ref和imp施加激励，来分析从哪一个stdcell开始不等价的。

本文整理了基本的formality流程和脚本

dbGet可以读取innovus的内部设计数据库，从中得到如inst、net、lib、lef等信息，也可以查询cell、net的状态和属性。