sta可以处理的，只要你library里有三态buf就行，不用特殊处理。
formal不记得了，应该能支持，你试试就知道了
design上要加holder或者pullup,pulldown,你这也不是新design,前人应该加过了
【 在 cookieman 的大作中提到: 】
: 那时序到这里要做特殊处理么，毕竟是high-z了。另外形式验证可以正常处理么
--
FROM 222.73.125.*