计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2013年
8期
177-180
,共4页
吴晓成%田泽%郭蒙%张荣华
吳曉成%田澤%郭矇%張榮華
오효성%전택%곽몽%장영화
航空全双工交换式以太网%虚链路%过滤%警管%SystemVerilog
航空全雙工交換式以太網%虛鏈路%過濾%警管%SystemVerilog
항공전쌍공교환식이태망%허련로%과려%경관%SystemVerilog
AFDX%virtual link%filter%police%SystemVerilog
AFDX(AvionicsFullDuplexSwitchedEthernet,航空全双工交换式以太网)网络为航电系统提供了一种确定、余度的数据交换服务,其基础和核心是交换芯片。在AFDX网络交换芯片整个研制过程中能否对其进行充分验证,是直接影响其投片成功的关键因素之一。文中结合AFDX网络交换芯片的设计过程,系统分析AFDX网络交换机及芯片的特点,制定出相应的验证策略,最后采用SystemVerilog验证语言、并基于OVM(OpenVerificationMethod)概念构建了AFDX交换芯片的虚拟验证环境,缩短了验证平台的开发时间,极大提高了验证效率。
AFDX(AvionicsFullDuplexSwitchedEthernet,航空全雙工交換式以太網)網絡為航電繫統提供瞭一種確定、餘度的數據交換服務,其基礎和覈心是交換芯片。在AFDX網絡交換芯片整箇研製過程中能否對其進行充分驗證,是直接影響其投片成功的關鍵因素之一。文中結閤AFDX網絡交換芯片的設計過程,繫統分析AFDX網絡交換機及芯片的特點,製定齣相應的驗證策略,最後採用SystemVerilog驗證語言、併基于OVM(OpenVerificationMethod)概唸構建瞭AFDX交換芯片的虛擬驗證環境,縮短瞭驗證平檯的開髮時間,極大提高瞭驗證效率。
AFDX(AvionicsFullDuplexSwitchedEthernet,항공전쌍공교환식이태망)망락위항전계통제공료일충학정、여도적수거교환복무,기기출화핵심시교환심편。재AFDX망락교환심편정개연제과정중능부대기진행충분험증,시직접영향기투편성공적관건인소지일。문중결합AFDX망락교환심편적설계과정,계통분석AFDX망락교환궤급심편적특점,제정출상응적험증책략,최후채용SystemVerilog험증어언、병기우OVM(OpenVerificationMethod)개념구건료AFDX교환심편적허의험증배경,축단료험증평태적개발시간,겁대제고료험증효솔。
AFDX ( Avionics Full Duplex Switched Ethernet) network provides an established,redundant data exchange service for the a-vionics system. Switch chip is the key component of AFDX network. In the whole development process of AFDX network switch chip,the ability to fully verify is direct impact on the final tape-out. Combined the design process of AFDX network switch chip,analyze the char-acteristics of the AFDX network switch and chip,develop corresponding verification strategy. At last,based on OVM,using the System-Verilog build the virtual verification environment for AFDX,shorten the development time of the verification platform,improving the ver-ification efficiency extremely.