论文部分内容阅读
本文扼要介绍硬件验证技术的发展近况,着重介绍利用HOL系统验证硬件的方法以及如何用HOL系统实现时态逻辑,并给出一个采用已机械化的时态逻辑验证锁存器的实例。
This article briefly introduces the recent development of hardware verification technology, focuses on the use of HOL system verification hardware and how to use HOL system to achieve temporal logic, and gives a mechanized logic logic to validate the latch instance.