用基于PSL斷言的方法驗(yàn)證寬帶電路交換芯片.pdf

1、本文隨著電路規(guī)模復(fù)雜度的急劇增加，功能規(guī)范中存在不一致性和不充分性的可能性增加；另外，采用自然語(yǔ)言的功能規(guī)范，語(yǔ)義模糊且不可執(zhí)行。這樣，不僅容易造成理解的二義性，而且很難確保設(shè)計(jì)的功能都得到有效驗(yàn)證?；跀嘌缘尿?yàn)證ABV(Assertion Based Verification)利用性質(zhì)描述語(yǔ)言清晰定義設(shè)計(jì)的功能，避免規(guī)范的二義性。同時(shí)斷言可以直接應(yīng)用于模擬和形式化驗(yàn)證流程中。 Accellera組織的性質(zhì)描述語(yǔ)言PSL(Pro

2、perty Specification Language)是用來(lái)對(duì)系統(tǒng)的功能進(jìn)行規(guī)范描述的語(yǔ)言，2005年9月被國(guó)際電氣電子工程師協(xié)會(huì)接受為新的標(biāo)準(zhǔn)IEEE 1850。 寬帶電路交換芯片XYDXCl60單片支持64路2.488Gbis/s STM-16幀結(jié)構(gòu)的同步數(shù)字系列SDH(Synchronous Digital Hierarchy)碼流的輸入/輸出，實(shí)現(xiàn)1024×1024STM-1流的無(wú)阻塞電路交換。STM-16碼流速率高

3、，幀容量大，芯片設(shè)計(jì)驗(yàn)證的難度很大。 本文的主要工作是用PSL，斷言定義863設(shè)計(jì)寬帶電路交換芯片XYDXCl60的核心功能，并在芯片的驗(yàn)證流程中，采用了基于斷言的驗(yàn)證方法。在實(shí)際驗(yàn)證工作中，當(dāng)芯片兩種交換控制配置發(fā)生切換時(shí)，斷言成功檢測(cè)出芯片工作發(fā)生異常，并能迅速定位設(shè)計(jì)中錯(cuò)誤位置。實(shí)踐證明，ABV是現(xiàn)有電路驗(yàn)證方法的一個(gè)有益補(bǔ)充，斷言技術(shù)的引入，有效降低了驗(yàn)證工作的復(fù)雜度，提高了驗(yàn)證的速度和效率，同時(shí)確保了驗(yàn)證工作的質(zhì)量。勿