rvm驗(yàn)證方法學(xué) 文章 進(jìn)入rvm驗(yàn)證方法學(xué)技術(shù)社區(qū)

RVM驗(yàn)證方法學(xué)在SoC芯片驗(yàn)證中的應(yīng)用

• 隨著SoC設(shè)計(jì)日趨復(fù)雜，驗(yàn)證成為SoC設(shè)計(jì)過(guò)程中最關(guān)鍵的環(huán)節(jié)。本文介紹了Synopsys的RVM驗(yàn)證方法學(xué)，采用Vera硬件驗(yàn)證工具以及OpenVera驗(yàn)證語(yǔ)言建立目標(biāo)模型環(huán)境，自動(dòng)生成激勵(lì)，完成自核對(duì)測(cè)試、覆蓋率分析等工作。通過(guò)建立層次化的可重用性驗(yàn)證平臺(tái)，大大提高了驗(yàn)證工程師的工作效率。文中以一個(gè)SIMC功能模塊的驗(yàn)證為例，詳細(xì)介紹了RVM驗(yàn)證方法學(xué)在SoC芯片驗(yàn)證中的應(yīng)用。
• 關(guān)鍵字： OpenVera驗(yàn)證語(yǔ)言  RVM驗(yàn)證方法學(xué)  SOC設(shè)計(jì)