基于时序等价性检查的电路软错误系统级可靠性分析方法研究

【作者】朱丹；

【作者基本信息】国防科学技术大学，电子科学与技术， 2010，博士