- 主题:三态门时序分析
以前的电路有一些逻辑是用三态门加线或组成的。请问这种电路有办法做时序分析或者形式验证么
--
FROM 223.104.212.*
pt可以分析三态门的啊，对sta来说三态门没啥特殊的
--
FROM 116.232.237.*
那时序到这里要做特殊处理么，毕竟是high-z了。另外形式验证可以正常处理么
【 在 awuwu 的大作中提到: 】
: pt可以分析三态门的啊，对sta来说三态门没啥特殊的
--
FROM 222.73.125.*
sta可以处理的，只要你library里有三态buf就行，不用特殊处理。
formal不记得了，应该能支持，你试试就知道了
design上要加holder或者pullup,pulldown,你这也不是新design,前人应该加过了
【 在 cookieman 的大作中提到: 】
: 那时序到这里要做特殊处理么，毕竟是high-z了。另外形式验证可以正常处理么
--
FROM 222.73.125.*