论文部分内容阅读
针对当前集成电路功能验证面临的问题,通过引入工程学思想,研究了集成电路功能验证的工程学问题.以功能验证的过程模型为研究对象,在已有过程模型的基础上,提出了一种全新的功能验证过程模型--基于功能信息的验证工程学过程模型,并讨论了模型中的若干具体问题.该模型在提高验证并行度和促进验证重用等方面有积极意义.