Magma Design Automation Inc