Jia Yu Wei Wu Xi Chen Harry Hsieh Jun Yang Felice Balarin Assertion-Based Design Exploration of DVS in Network Processor Architectures http://arxiv.org/abs/0710.4714 2007 CoRR abs/0710.4714 db/journals/corr/corr0710.html#abs-0710-4714 informal publication