面向IP的PSL規(guī)范重用方法研究.pdf

1、近十年來，IP設計重用來已成為片上系統(tǒng)(SOC)開發(fā)領域所關注的重點，性質或斷言將被廣泛采用在驗證過程之中。PSL(Property Specification Language)被確立為性質規(guī)范語言標準后，編寫可重用的PSL設計規(guī)范變得非常有價值。 性質規(guī)范語言(PSL)是一種描述電路和嵌入式系統(tǒng)的工業(yè)標準語言，PSL的許多特性潛在地支持在硬件設計過程中使用基于IP重用的方法。需要注意的是重用不能被濫用，因為如果沒有很好的組織

2、，設計規(guī)范的層次結構會變得非?；靵y。 本文將討論基于IP的PSL規(guī)范組合的方法，從三個層次來保證PSL規(guī)范的正確性。在最低一層，提出了一套檢查性質是否正確地被assert和assume引導的規(guī)則，這些規(guī)則能夠檢查PSL性質是否被正確斷言或是假設；在中間一層，給出了基于IP規(guī)范組合的語義；在最上層，本文使用IP規(guī)范的組合語義來組織驗證單元的繼承。 在上述工作的基礎上，開發(fā)了基于IP的PSL規(guī)范重用工具iPSL，該工具能夠讓