摘要
本文介绍一种基于断言的形式验证与仿真验证相结合的面向SOC的新的混合验证方法，并简要介绍其在数据完整性验证方面的应用实例。
This paper presents a hybrid authentication for SOC. The method combined formal verification based on assertion with simulation. It also introduces the pradcal case of this method.
出处
《电脑知识与技术》
2006年第6期102-104,共3页
Computer Knowledge and Technology
关键词
形式验证
断言验证
混合验证
数据完整性
formal verification
assertion
hybrid authentication
date integrity
