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

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

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