Chang Wu is at Magma Design Automation, Inc. now. His email address is changwu@Magma-DA.COM.