论文部分内容阅读
AFDX（AvionicsFullDuplexSwitchedEthernet，航空全双工交换式以太网）网络为航电系统提供了一种确定、余度的数据交换服务，其基础和核心是交换芯片。在AFDX网络交换芯片整个研制过程中能否对其进行充分验证，是直接影响其投片成功的关键因素之一。文中结合AFDX网络交换芯片的设计过程，系统分析AFDX网络交换机及芯片的特点，制定出相应的验证策略，最后采用SystemVerilog验证语言、并基于OVM（OpenVerificationMe~od）概念构建了AFDX交换芯片的虚拟验