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