| CFSM模型的有限自动机语义 |
| |
| 引用本文： | 吴正湘,虞慧群. CFSM模型的有限自动机语义[J]. 华东理工大学学报(自然科学版), 2001, 27(5): 437-441 |
| |
| 作者姓名： | 吴正湘 虞慧群 |
| |
| 作者单位： | 华东理工大学计算机科学与工程系 |
| |
| 基金项目： | 教育部高等学校骨干教师资助计划，国家自然科学基金资助项目 ( 6 970 30 0 8，6 990 30 0 4)，国防科技重点实验室基金资助项目 ( 99JS94.10 .1.DZ42 0 1) |
| |
| 摘 要： | 研究CFSM模型的自动机语义，提出了一种从CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统，利用自动机的同步性模拟CFSM的异步行为。本文的工作为进一步利用自动机理论和工具对CFSM模型进行分析和验证奠定了基础。
|
| 关 键 词： | 软硬件协作设计 CFSM模型 有限状态自动机 语义 自动化理论 扩展模型 |
| 文章编号： | 1006-3080(2001)05-0437-05 |
| 修稿时间： | 2001-05-25 |
Finite Automata-based Semantics of CFSM Model |
| |
| WU Zheng xiang,YU Hui qun. Finite Automata-based Semantics of CFSM Model[J]. Journal of East China University of Science and Technology, 2001, 27(5): 437-441 |
| |
| Authors: | WU Zheng xiang YU Hui qun |
| |
| Affiliation: | WU Zheng xiang,YU Hui qun * |
| |
| Abstract: | This paper analyses the semantics of CFSM model and provides an algorithm of transforming a CFSM model to finite automata. The main idea is to simulate the asynchronous behaviors of CFSM by constructing some synchronous automata including a main controller automaton, some input automata and some output automata. The result paves the way for further analysis and verification of CSFM models in terms of traditional finite automata. |
| |
| Keywords: | hardware software co design CFSM model finite automaton semantics |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
