Xi Chen Yan Luo Harry Hsieh Laxmi N. Bhuyan Felice Balarin Assertion Based Verification and Analysis of Network Processor Architectures. 163-176 2004 9 Design Autom. for Emb. Sys. 3 http://dx.doi.org/10.1007/s10617-005-1193-5 db/journals/dafes/dafes9.html#ChenLHBB04