论文部分内容阅读
随着工艺能力和设计能力的快速发展,为了满足嵌入式系统市场对于成本、功能和功耗的要求,采用SoPC(System on Programmable Chip)技术将微处理器、IP(Intellectual Property)核、存储器及各种接口通过IP核互连技术及片上总线(On-Chip Bus)集成在单一独立的可编程芯片上的方法,已成为目前IC设计及嵌入式系统发展的趋势和主流。光纤通道协议以其高性能、传输距离远、可扩展性强等特点,在存储领域占有重要地位。用SoPC的方法实现光纤通道控制器能有效发挥SoPC在软硬件定制及系统扩展方面的优势。而随着系统的集成度越来越高,器件结构复杂度越来越大,对系统的验证也越来越复杂,越来越重要。光纤通道控制器硬件集成了NIOS II处理器、DDR SDRAM控制器、FLASH控制器、定时器、JTAG UART和带Avalon接口的光纤通道(FC, Fibre Channel)接口逻辑,通过Avalon交换总线进行互连。针对光纤通道控制器硬件部分的验证主要从功能模块级,IP核级,系统级三个层次进行。功能模块级的验证能保证90%的错误在前期能解决;IP核级的验证不仅保证实现了FC协议规范,同时保证了自定义IP核的可重用性和可集成性;系统级验证可以保证系统各集成IP模块之间的协同工作,同时能提供软硬件协同设计验证开发平台。在仿真验证过程中,进行了及存取传输级(RTL,Register Transfer Level)级仿真,门级网表仿真,时序仿真,以及静态时序分析。验证平台通过采用总线功能模型(BFM,Bus Functional Model)简化了仿真激励操作,采用基于断言的检测技术以便直观地了解检测的结果,采用PLI(Programmable Language Interface)接口方式提高了系统激励检测的抽象能力。通过对验证平台的功能正确性的检验以及性能的评估,证明了针对光纤通道控制器采用的验证方案是具有可行性和可信度的。