摘要
如何对片上系统(SOC)来进行验证,是一个比较复杂的问题。本文介绍了用形式化方法来验证SOC,讨论在对SOC进行等价性验证时应注意的几个问题以及解决的方法。最后给出了对SOC验证的一般方法。
How to verify System On Chip(SOC)is a complicated problem. In this paper, formal methods for SOC verification is introduced, several problems during equivalent verification are pointed out and analyzed. At last,a method of SOC verification is given.
出处
《西安邮电学院学报》
2005年第3期79-82,87,共5页
Journal of Xi'an Institute of Posts and Telecommunications
基金
国家自然科学基金(90207015)