基于SAT的通路时延故障测试生成技术的研究

【作者】 姜升

【导师】 吴为民;

【作者基本信息】 北京交通大学 , 计算机科学与技术, 2011, 硕士