期刊文章详细信息
基于形式化方法的集成电路设计简化技术研究
Researching on Techology of Integrate Circute Design Based on Fromal Method Theory
文献类型：期刊文章
机构地区：[1]兰州工业学院学报编辑部,甘肃兰州730050 [2]嘉峪关市第六中学,甘肃嘉峪关735100
基 金：甘肃省科技厅高新科技支撑计划(1104GKCA049)
年 份：2013
卷 号：20
期 号：1
起止页码：14-20
语 种：中文
收录情况：普通刊
摘 要：通过形式化方法建模,对集成电路设计过程中的模型简化技术进行了研究.对互模拟、模拟偏序概念提出判定算法,利用交互式马尔科夫链模型的事件结构构造及功能模块细化方法、软件工程方法,得到模型验证程序,该程序能够对集成电路系统设计过程中的模型进行简化,实践证明具有良好的应用价值.
关 键 词：形式化方法 马尔科夫链 模型 算法
分 类 号：TN406]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
