工业界第一个符号分析工具--Tau

工业界第一个符号分析工具——Ｔａｕ现为ＭｅｎｔｏｒＧｒａｐｈｉｃｓ公司的Ｉｎｔｅｒｃｏｎｎｅｃｔｉｘ业务部推出工业上第一个符号时序分析工具——Ｔａｕ，Ｔａｕ在两个前沿问题上有所突破：第一，它许诺完全的时序验证，同时消除静态分析关于报告事实上并不出现的...