基于混合自动机的PSL模型研究

• 作者: 张萌 樊晓桠 高德远
• 来源期刊: 计算机应用研究
• 关键词: 计算机仿真 混合自动机 混合信号电路 模型 形式化方法
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 系统应用开发
• 页码范围: 196-199,203
• 页数: 5页
• 分类号: TP391.9
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.01.058

摘要

基于SPICE的计算机仿真方法在混合信号电路验证应用中具有较大的计算开销,讨论基于属性描述的建模方法减小计算开销的问题.通过分析PSL(property specification language)对系统属性的形式化描述方法,并分析混合自动机理论对混合信号系统抽象能力,提出了适合于混合信号电路系统快速验证的PSL模型.结合混合自动机对PSL进行了基于混合自动机语义特点的扩展,使用巴克斯-诺尔范式对其拓展后语法进行规范,提出具有描述混合信号电路行为特性的HAPSL(hybrid automata-based PSL),并针对参考电路的混合信号特性进行了分析,详细说明了HAPSL模型描述在混合信号验证中的实现方法和意义.通过与SPICE仿真器对相同电路进行比较仿真实验,显示HAPSL方法数据在适当规模混合信号电路瞬态分析以及状态分析中具有较高的效率并且具有可接受的精确度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高德远	西北工业大学计算机学院	166	1045	15.0	24.0
2	张萌	西北工业大学计算机学院	43	288	11.0	15.0
3	樊晓桠	西北工业大学计算机学院	170	1393	17.0	29.0