تم الحذف - توفر Magma Design Automation، Inc. (Magma) منتجات برامج أتمتة التصميم الإلكتروني (EDA) والخدمات ذات الصلة. يمكّن برنامجها مصممي الشرائح من تقليل الوقت الذي يستغرقه تصميم وإنتاج الدوائر المتكاملة المستخدمة في الاتصالات والحوسبة والإلكترونيات الاستهلاكية والشبكات وصناعات أشباه الموصلات. تتكون منتجاتها الرئيسية من حل رقمي متكامل لدورة تطوير الرقائق ، بدءًا من التصميم الأولي وحتى التنفيذ المادي. تتحد مجموعة منتجات Talus الرئيسية من Magma ، ومحلل التوقيت الثابت Tekton ومستخرج QCP ، وعائلة الكوارتز الخاصة بها من أدوات تسجيل الخروج والتحقق في تصميم شريحة واحدة مدمجة وتدفق التحقق ، من التصميم المنطقي المنفصل والتصميم المادي والتحليل وعمليات تسجيل الخروج. توفر منصة Titan الخاصة بها لتصميم الرقاقة المدمجة المخصصة حلاً تشطيبًا متكاملًا للرقائق لتصاميم الإشارات المختلطة. في فبراير 2012 ، استحوذت شركة Synopsys، Inc. على الشركة.