今日頭條
官方微信
官方抖音
案例頻道北京廣利核系統工程有限公司 張運濤，宋立新，曹宗生，邊慶杰
摘要：核電DCS系統中大量應用CPLD及FPGA產品，可編程邏輯產品的仿真驗證是保證產品質量的重要環節。本文不同于傳統的驗證方法，首次將UVM驗證方法應用于核安全級DCS產品可編程邏輯驗證。采用獨立開發的測試IP，通過靈活復用，為搭建仿真測試環境帶來方便，簡化了過程。采用受約束隨機激勵及自動檢查保證測試的準確性及充分性，避免單純用人工檢查，在保證覆蓋率指標的基礎上，提高了測試自動化水平。目前，此方法已經用于DCS系統通信路由以及優選裝置的邏輯驗證。
關鍵詞：UVM方法學；核安全級；可編程邏輯；仿真驗證
摘自《自動化博覽》2016年11月刊
北京市公安局海淀分局備案號：11010802023656號