Assertion Based Verification and Analysis of Network Processor Architectures

Xi Chen, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Felice Balarin. Assertion Based Verification and Analysis of Network Processor Architectures. Design Autom. for Emb. Sys., 9(3):163-176, 2004. [doi]

Abstract

Abstract is missing.