Magma Design Automation, Inc.