Zhijun Huang is at Magma Design Automation, Inc. now. His email address is zhuang@magma-da.com.