基于多项式符号代数的数字电路形式验证方法研究

【作者】 杨志

【导师】 马光胜;

【作者基本信息】 哈尔滨工程大学 , 计算机应用技术, 2009, 博士