Assertion-based power/performance analysis of network processor architectures

Network processors (NPUs) have emerged as successful platforms to provide both high performance and flexibility in building powerful routers. With the scaling of technology and higher requirements on performance and functionality, power dissipation is becoming one of the major design considerations in NPU development. In this paper, we present an assertion-based methodology for system-level power/performance analysis of network processor designs, which can help designers choose the right architecture features and low power techniques. We write power and performance assertions, based on logic of constraints. Trace checkers and simulation monitors are automatically generated to analyze the power and performance characteristics of the network processor model. Furthermore, we apply a low power technique, dynamic voltage scaling (DVS), to the network processor model, and explore their pros and cons with the assertion-based analysis technique. We demonstrate that the assertion-based methodology is useful and effective for system level power/performance analysis.

[1]  Xi Chen,et al.  Utilizing formal assertions for system design of network processors , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[2]  Xi Chen,et al.  Automatic trace analysis for logic of constraints , 2003, DAC '03.

[3]  Xi Chen,et al.  Verifying LOC based functional and performance constraints , 2003, Eighth IEEE International High-Level Design Validation and Test Workshop.

[4]  Thomas D. Burd,et al.  Design issues for Dynamic Voltage Scaling , 2000, ISLPED'00: Proceedings of the 2000 International Symposium on Low Power Electronics and Design (Cat. No.00TH8514).

[5]  Laxmi N. Bhuyan,et al.  NePSim: a network processor simulator with a power evaluation framework , 2004, IEEE Micro.