1. School of Electrical Engineering and Computer Science, Washington State University, Pullman, WA 99164-2752, USA
2. Department of Computer Science, University of Virginia, Charlottesville, VA 22903-2442, USA
3. Cadence Design Systems, lnc., San Jose, CA 95134-1937, USA