Songjie Xu is at Magma Design Automation, Inc. now. Her email address is sxu@Magma-DA.COM.