VLSI设计中逻辑验证方法的研究

本项目的主要研究内容是超大规模集成电路设计中逻辑验证方法的研究，有重大的实际应用价值。本项目共发表学术论文十余篇，培养研究生四名。论文主要分两个方面。一方面重点研究了逻辑验证的特点，提出了分而治之和充分利用已有设计资料的思想，从而简化了逻辑验证工作。另一方面着重研究了数字电路测试生成方法的研究，为设计验证的逻辑模拟提供完整的数据，使得验证更充分。对形式验证方法也作了初步的研究。