我们经常遇到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的状态和属性。

route之后已经用了相当多的办法（包括调整floorplan）之后，仍然有drc或者antenna，且violation数量不多时，就需要手动拉线了。本文介绍了innouvs里手动拉线常用的工具和快捷键。

如何自己做一个小工具，可以innovus里批量处理一些事情？今天介绍在innovus里实现一个自定义命令来检查drc、connectivity、antenna等，并显示汇总报告。

find是linux里非常常用的命令，如果用好了，可以事半功倍，早下班。

物理综合就是不单纯考虑时序、面积和功耗，还要考虑APR的形状、pin坐标、可用的金属层等物理信息。

如何在innovus里列出全部具有dont touch属性的inst，怎么把dont touch改为size only