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]

Authors

Xi Chen

This author has not been identified. Look up 'Xi Chen' in Google

Yan Luo

This author has not been identified. Look up 'Yan Luo' in Google

Harry Hsieh

This author has not been identified. Look up 'Harry Hsieh' in Google

Laxmi N. Bhuyan

This author has not been identified. Look up 'Laxmi N. Bhuyan' in Google

Felice Balarin

This author has not been identified. Look up 'Felice Balarin' in Google