数字芯片设计的断言验证

随着设计规模及其输入数据量指数性增长,模拟时间已长得无法忍受。另外,也很难判断模拟验证的完备性。形式验证不用向量、运用数学方法证明设计的特征和等价性,对这两个问题给出解决办法,但技术发展仍存在不少难题。在模拟中引入形式验证技术,形成的断言验证方法,可能是解决验证危机的有效办法。