网络处理器验证技术研究

摘要

网络处理器是面向网络应用领域的专用指令处理器，是面向数据分组处理的、具有特定电路的软件可编程器件。它将基于精简指令集处理器的低成本、高灵活性与专用网络处理芯片的高性能很好地结合在一起，可适应网络新协议和新应用。该文通过对网络处理器体系结构的分析，在设计过程中应用目前主流的验证技术，根据网络处理器的特点，在各阶段采取不同的验证策略，从而缩短验证周期。