| 用XYZ／E语言描述和验证硬件的行为 |
| |
| 引用本文： | 韩俊刚,王岩冰,沈武威.用XYZ／E语言描述和验证硬件的行为[J].软件学报,1996,7(11):676-682. |
| |
| 作者姓名： | 韩俊刚 王岩冰 沈武威 |
| |
| 作者单位： | 西安邮电学院,西安,710061;山东师范大学,济南,250014;中国科学院软件研究所,北京,100080 |
| |
| 基金项目： | 本文研究得到国家自然科学基金资助. |
| |
| 摘 要： | 本文考虑用时态逻辑语言ＸＹＺ／Ｅ描述硬件行为的可行性．作为实例，用ＸＹＺ／Ｅ语言描述了一个基于微处理器的容错计算机系统，这种描述可以在ＸＹＺ系统上执行，从而可对系统进行模拟．特别有意义的是利用ＸＹＺ／ＶＥＲＩ验证子系统对所期望的性质进行了形式化证明．本文还将ＸＹＺ／Ｅ描述与相应的ＶＨＤＬ（ＶＨＳＩＣｈａｒｄｗａｒｅｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）描述进行了比较．从中可以看出时态逻辑语言的描述具有其独特的优点.
|
| 关 键 词： | 时态逻辑 硬件描述语言 形式化方法 |
| 修稿时间： | 1995/9/26 0:00:00 |
DESCRIBING AND VERIFYING THE BEHAVIOR OF HARDWARE IN XYZ/E LANGUAGE |
| |
| Han Jungang,Han Jungang and Shen Wuwei.DESCRIBING AND VERIFYING THE BEHAVIOR OF HARDWARE IN XYZ/E LANGUAGE[J].Journal of Software,1996,7(11):676-682. |
| |
| Authors: | Han Jungang Han Jungang and Shen Wuwei |
| |
| Affiliation: | Han Jungang (Xi'an Institute of Posts and Telecommunications\ Xi'an\ 710061)Wang Yanbing(Shandong Normal University\ Ji'nan\ 250014)Shen Wuwei(Institute of Software\ The Chinese Academy of Sciences\ Beijing\ 100080) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
