网络处理器验证技术研究.pdfVIP

第34卷 增 刊 计算机工程 2008年9月 2008 V01．34 Issue Computer September Supplementary Engineering 文章螭号I 文献标识码lA TP393 ·圊络与通信· l似胁—3423《2008)增刊—014l—04 中田分类号t 网络处理器验证技术研究 金轶丰 (华东计算技术研究所．上海200233) 擅赛：网络处理器是面向网络应用领域的专用指令处理器，是面向数据分组处理的、具有特定电路的软件可编程器件。它将基于精简指 令集处理器的低成本、高灵活性与专用网络处理芯片的高性能很好地结合在一起，可适应网络新协议和新应用。该文通过对网络处理器俸 系结构的分析，在设计过程中应甩目前主流的验证技术，根据网络处理器的特点，在备阶段采取不同的验证策略，从而缩短验证周期。 关健词：网络处理器；验证平台；功能覆盖率 ResearchofVerification forNetworkProcessor Technology JIN Yi-feng 200233) (EastChinaInstituteofComputerTechnology,Shanghai Processoris canbe [Abstract]Networkexclusiveinstructionprocessorfacingthefieldofnetworkapplication．Itis usedin combineslow and ofRISCwith of network has packet highflexibility highperformancespecial processingchip．and switching．It costing the ofNetwork CUlTentmainstream in newnetwork structural Processer,this greatcapabilitiesadapting protoc01．Byanalyzing system paperapplies verification in differentverification indifferent tothecharacteristicsofNetwork technologydesigningprocess，takes strategies smgesaccoridng Processor．andcutshortthe ofverification． cycle wordslNetworkProcessor(NP)；verification [Key platform；functioncoverage 1概述