文件名称：论文研究-基于混合自动机的PSL模型研究.pdf
文件大小：275KB
文件格式：PDF
更新时间：2022-08-11 15:48:50
计算机仿真,混合自动机,混合信号电路,模型,形式化方法
基于SPICE的计算机仿真方法在混合信号电路验证应用中具有较大的计算开销，讨论基于属性描述的建模方法减小计算开销的问题。通过分析PSL(property specification language)对系统属性的形式化描述方法，并分析混合自动机理论对混合信号系统抽象能力，提出了适合于混合信号电路系统快速验证的PSL模型。结合混合自动机对PSL进行了基于混合自动机语义特点的扩展，使用巴克斯—诺尔范式对其拓展后语法进行规范，提出具有描述混合信号电路行为特性的HAPSL(hybrid automata-base