基于形式化方法的集成电路设计简化技术研究

作者：赵锡英; 李正华

来源：兰州工业高等专科学校学报, 2013, (01): 14-20.

• 形式化方法
• 马尔科夫链
• 模型
• 算法 formal method
• Markov chains
• model
• algrithms

通过形式化方法建模,对集成电路设计过程中的模型简化技术进行了研究.对互模拟、模拟偏序概念提出判定算法,利用交互式马尔科夫链模型的事件结构构造及功能模块细化方法、软件工程方法,得到模型验证程序,该程序能够对集成电路系统设计过程中的模型进行简化,实践证明具有良好的应用价值.

• 单位
  兰州工业学院