（測(cè)試平臺(tái)自動(dòng)化）
DiscoveryTM Pioneer-NTB是一套功能全面的SystemVerilog測(cè)試平臺(tái)自動(dòng)化工具，可與流行的VHDL和Verilog仿真器配合使用。 Pioneer-NTB能夠讓工程師在混合仿真環(huán)境中方便地應(yīng)用先進(jìn)的基于開放標(biāo)準(zhǔn)的驗(yàn)證方法。Pioneer-NTB是在Synopsys? VCS?全面RTL驗(yàn)證解決方案中各項(xiàng)功能強(qiáng)大并經(jīng)產(chǎn)業(yè)證實(shí)的技術(shù)以及Vera?測(cè)試平臺(tái)自動(dòng)化工具的基礎(chǔ)上開發(fā)而成，提供了即時(shí)獲得由VCS和Vera 構(gòu)成的廣泛的體系的能力。Pioneer-NTB還支持OpenVera?語(yǔ)言，能夠讓現(xiàn)有Vera驗(yàn)證環(huán)境容易地移植到Pioneer-NTB上，并可 實(shí)現(xiàn)高達(dá)2倍的驗(yàn)證運(yùn)行時(shí)間性能提升。
主要優(yōu)勢(shì)
- 支持SystemVerilog驗(yàn)證功能，從而可以采用基于面向?qū)ο?、先進(jìn)的數(shù)據(jù)類型、約束隨即激勵(lì)、功能覆蓋以及斷言等技術(shù)來(lái)創(chuàng)建高效的測(cè)試平臺(tái)環(huán)境。
- 支持Synopsys的參考驗(yàn)證方法學(xué)（RVM），并包括了基本模塊庫(kù)，從而加快了按照業(yè)界最優(yōu)做法來(lái)實(shí)現(xiàn)覆蓋率驅(qū)動(dòng)、約束隨機(jī)和基于斷言驗(yàn)證等技術(shù)的魯棒且可重用的驗(yàn)證環(huán)境的開發(fā)過(guò)程。
- 內(nèi)置、完整地支持了SystemVerilog斷言（SVA），并且擁有一個(gè)包括50多個(gè)可用的檢查器庫(kù)，以及一個(gè)包括多種流行接口協(xié)議標(biāo)準(zhǔn)的斷言IP 庫(kù)，從而可以實(shí)現(xiàn)基于斷言的可驗(yàn)證設(shè)計(jì)（DFV）方法的快速投入應(yīng)用，加快設(shè)計(jì)錯(cuò)誤檢測(cè)的速度，改善設(shè)計(jì)方案質(zhì)量
- 內(nèi)置功能和斷言覆蓋率以及統(tǒng)一的覆蓋率報(bào)告功能，對(duì)驗(yàn)證目標(biāo)的達(dá)成度提供綜合全面的觀察
- 本征、快速地支持高質(zhì)量驗(yàn)證IP的VCS驗(yàn)證庫(kù)，能夠加快大范圍采用了標(biāo)準(zhǔn)接口協(xié)議的設(shè)計(jì)的先進(jìn)驗(yàn)證環(huán)境的開發(fā)和執(zhí)行速度。
- 對(duì)于OpenVera語(yǔ)言的深入支持，讓Vera語(yǔ)言使用者能夠很容易地將現(xiàn)有的驗(yàn)證環(huán)境移植到Pioneer-NTB上，并實(shí)現(xiàn)高達(dá)2倍的性能。