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

摘要

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