目前采用形式化方法进行Ad hoc路由协议安全性分析还面临着诸多挑战。论文在串空间理论的基础上提出了一种Ad hoc路由协议安全......

工业界第一个符号分析工具——Ｔａｕ现为ＭｅｎｔｏｒＧｒａｐｈｉｃｓ公司的Ｉｎｔｅｒｃｏｎｎｅｃｔｉｘ业务部推出工业上第一个符号时序分析工具——Ｔａｕ，Ｔａｕ在两个前沿问题上有所突破：第一，它许诺完全的......

主要介绍了静态时序分析在数字ASIC设计中的应用,描述了静态时序分析的基本原理和流程,并以I2C总线设计为例,分析了对数字ASIC作静......