我dc综合出来的.v是不带pg pin的
但是formality比对时，自动读取了带pg pin的lib
导致比对不过
我按eetop的方法
是因为DB库里面有定义power和ground的pin脚，使用如下formality命令，禁止读入pow
er和ground的pin脚即可~~
# for Non UPF Mode (no check for pg_pin)
set verification_verify_unread_tech_cell_pins false
设置了也没用
--
FROM 58.34.65.*