文献类型：期刊文献

中文题名：硬件设计中的形式化方法

作者：崔霞[1];苗长芬[2]

第一作者：崔霞

机构：[1]郑州大学升达经贸管理学院;[2]新乡师范高等专科学校计科系

第一机构：郑州大学升达经贸管理学院,河南郑州450000

年份：2005

期号：2

起止页码：79-81

中文期刊名：新乡教育学院学报

外文期刊名：Journal of Xinxiang Education College

收录：国家哲学社会科学学术期刊数据库

语种：中文

中文关键词：形式化方法;模型检验;CTL;BDD

摘要：形式化方法是一种用于规范、设计和验证计算机系统的基于数学的方法,包括各种语言、技术和工具等。近几年来,形式化方法在硬件设计中的引入,使得模型检验方法日趋成熟。本文主要介绍了硬件设计中的模型检验这种形式化方法,及该方法的应用情况。