1. Department of Computer Science and Engineering, The Pennsylvania State University, University Park, PA 16802, USA
2. Department of Electronics Engineering, Tsinghua University, Beijing 100084, China
3. Design Creation and Synthesis, Mentor Graphics Corporation, Wilsonville, OR 97070, USA