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

摘要：

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

关键词：计算机仿真、混合自动机、混合信号电路、模型、形式化方法

所属期刊栏目：27

分类号：TP391.9(计算技术、计算机技术)

在线出版日期：2010-03-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：196-199,203