新乡教育学院学报
新鄉教育學院學報
신향교육학원학보
XINXIANG EDUCATION COLLEGE LEARNED JOURNAL
2005年
2期
79-81
,共3页
形式化方法%模型检验%CTL%BDD
形式化方法%模型檢驗%CTL%BDD
형식화방법%모형검험%CTL%BDD
形式化方法是一种用于规范、设计和验证计算机系统的基于数学的方法,包括各种语言、技术和工具等.近几年来,形式化方法在硬件设计中的引入,使得模型检验方法日趋成熟.本文主要介绍了硬件设计中的模型检验这种形式化方法,及该方法的应用情况.
形式化方法是一種用于規範、設計和驗證計算機繫統的基于數學的方法,包括各種語言、技術和工具等.近幾年來,形式化方法在硬件設計中的引入,使得模型檢驗方法日趨成熟.本文主要介紹瞭硬件設計中的模型檢驗這種形式化方法,及該方法的應用情況.
형식화방법시일충용우규범、설계화험증계산궤계통적기우수학적방법,포괄각충어언、기술화공구등.근궤년래,형식화방법재경건설계중적인입,사득모형검험방법일추성숙.본문주요개소료경건설계중적모형검험저충형식화방법,급해방법적응용정황.
