小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2007年
1期
182-185
,共4页
验证%断言%BFM模型%FPGA%OVL
驗證%斷言%BFM模型%FPGA%OVL
험증%단언%BFM모형%FPGA%OVL
当今流行的先进的验证技术有很多,本文综合使用了OVL (Open Verification Library) 断言验证、总线功能模型BFM(Bus Function Module)层次化验证和FPGA (Field Programmable Gate Array) 硬件加速仿真这三种验证技术,搭建一个从PCI(Peripheral Component Interconnect)接口的验证环境.实验表明,该验证环境增强了验证的可重用性、可控性,极大地减少了仿真的工作量,提高了验证的效率.
噹今流行的先進的驗證技術有很多,本文綜閤使用瞭OVL (Open Verification Library) 斷言驗證、總線功能模型BFM(Bus Function Module)層次化驗證和FPGA (Field Programmable Gate Array) 硬件加速倣真這三種驗證技術,搭建一箇從PCI(Peripheral Component Interconnect)接口的驗證環境.實驗錶明,該驗證環境增彊瞭驗證的可重用性、可控性,極大地減少瞭倣真的工作量,提高瞭驗證的效率.
당금류행적선진적험증기술유흔다,본문종합사용료OVL (Open Verification Library) 단언험증、총선공능모형BFM(Bus Function Module)층차화험증화FPGA (Field Programmable Gate Array) 경건가속방진저삼충험증기술,탑건일개종PCI(Peripheral Component Interconnect)접구적험증배경.실험표명,해험증배경증강료험증적가중용성、가공성,겁대지감소료방진적공작량,제고료험증적효솔.