北京廣利核系統(tǒng)工程有限公司 張運濤,宋立新,曹宗生,邊慶杰
摘要:核電DCS系統(tǒng)中大量應用CPLD及FPGA產(chǎn)品,可編程邏輯產(chǎn)品的仿真驗證是保證產(chǎn)品質(zhì)量的重要環(huán)節(jié)。本文不同于傳統(tǒng)的驗證方法,首次將UVM驗證方法應用于核安全級DCS產(chǎn)品可編程邏輯驗證。采用獨立開發(fā)的測試IP,通過靈活復用,為搭建仿真測試環(huán)境帶來方便,簡化了過程。采用受約束隨機激勵及自動檢查保證測試的準確性及充分性,避免單純用人工檢查,在保證覆蓋率指標的基礎(chǔ)上,提高了測試自動化水平。目前,此方法已經(jīng)用于DCS系統(tǒng)通信路由以及優(yōu)選裝置的邏輯驗證。
關(guān)鍵詞:UVM方法學;核安全級;可編程邏輯;仿真驗證
摘自《自動化博覽》2016年11月刊