在现代航空工业电子通讯领域中,航空专用ARINC429总线(以下简称429总线)作为航空电子通讯系统之间数据传输的重要方式之一,极大的提高了航空电子通讯系统的性能。由于应用领域非常广泛,所以对ARINC429总线控制器功能及性能的要求也逐渐增高。针对不同的应用需求以及复杂多变的应用环境,在保证基本功能正确的前提下做出适应性的功能增减或修改也越来越普遍,如此以来,对于ARINC429总线控制器功能性能的验证工作变得尤为重要。本论文在学习研究了ARINC429总线传输规范、某型号处理器项目实践的应用环境及架构基础上,采用从上到下的电路设计思想,将429总线控制器按照功能类别划分子模块,使用VHDL及Verilog硬件描述语言分别完成寄存器控制功能、数据发送功能、数据接收功能、异步时钟同步处理功能及发送接收速率配置功能等子模块的设计开发及验证。在异步时钟处理功能模块的设计中,由于异步时钟频率相对固定,采用两级及三级锁存的方式完成异步时钟同步处理。在发送及接受功能模块的设计中,在控制电路部分例化异步FIFO,完整、正确实现数据发送或接收的同时,也实现了发送接收数据深度可配置,提高了ARINC429总线控制器可重用性。在完成电路功能设计的基础上,通过单一模块验证、系统集成后模块验证以及集成后通路验证的分级验证手段,展开对功能及性能的验证工作。在单一模块验证阶段,采用自研模型环境及多路429总线控制器互连环境两种验证方法相结合的方式保证功能及性能验证的准确性及完备性。在自研模型环境下,独立开发了从设备接收模型、外部设备发送模型以及模拟OPB总线操作的OPB总线功能模型。为保证验证的可信度以及准确性,在发送模型设计中引入了随机变量作为发送数据源,避免了发送特定或固定数据所带来验证的低可信度,同时为保证验证的效率,在确保接收模型功能正确的前提下,引入了数据的自动比对,大大提高了验证效率,也极大的降低了进行人为数据比对时带入错误的可能性;多路429总线控制器互连环境下,将多路429总线控制器的发送端和接收端互连,形成一个小型系统环境,实现数据收发功能验证。通过上述验证工作,实现了在模块级429总线控制器功能及性能验证全覆盖,为随后的系统集成提供了保证。在完成模块级验证工作后,采用软硬件协同验证的方法展开系统集成互连后的功能验证,集中针对ARINC429总线控制器在系统中应用的功能及性能展开进一步验证。通过单一模块验证及系统集成后通路验证,最终实现对ARINC429总线控制器的完全功能验证。