基于混合自動機的PSL模型研究

摘要:基于SPICE的計算機仿真方法在混合信號電路驗證應用中具有較大的計算開銷，討論基于屬性描述的建模方法減小計算開銷的問題。通過分析PSL(property specification language)對系統屬性的形式化描述方法，并分析混合自動機理論對混合信號系統抽象能力，提出了適合于混合信號電路系統快速驗證的PSL模型。結合混合自動機對PSL進行了基于混合自動機語義特點的擴展，使用巴克斯—諾爾范式對其拓展后語法進行規范，提出具有描述混合信號電路行為特性的HAPSL(hybrid automatabased PSL)，并針對參考電路的混合信號特性進行了分析，詳細說明了HAPSL模型描述在混合信號驗證中的實現方法和意義。通過與SPICE仿真器對相同電路進行比較仿真實驗，顯示HAPSL方法數據在適當規模混合信號電路瞬態分析以及狀態分析中具有較高的效率并且具有可接受的精確度。

關鍵詞:計算機仿真;混合自動機;混合信號電路;模型;形式化方法

中圖分類號:TP3919文獻標志碼:A

文章編號:10013695(2010)01019604

doi:10.3969/j.issn.10013695.2010.01.058