摘要
本文首先介绍模型检验技术的概念,然后详细介绍模型检验技术的组成部分以及利用模型检验技术进行模块验证的流程,并利用总线仲裁的实例进行讲解分析,最后对模型检验技术进行总结和展望。
The article introduced concept of model checking technology, components of model checking technology and process of model checking technology. Then It took a bus arbitration example to explain and gave a summary and outlook on model checking technology finally.
出处
《电子质量》
2008年第2期20-22,共3页
Electronics Quality
关键词
模型检验
硬件特性
仲裁器
Model checking
Hardware feature
Arbitration device
