RTL到门级设计的等价性验证的研究

【作者】 翁延玲

【导师】 严晓浪;

【作者基本信息】 浙江大学 , 电路与系统, 2008, 博士