डिझाईन संकलक
या विस्तृत प्रश्नाचे उत्तर तयार करा: Synopsys, एक अमेरिकन कंपनी, इलेक्ट्रॉनिक डिझायनिंग ऑटोमेशन उद्योगातील विक्रीनुसार अग्रगण्य कंपनी आहे. ओपनवेरा ही एक हार्डवेअर सत्यापन भाषा आहे जी सिनॉप्सिसने विकसित आणि व्यवस्थापित केली आहे, सिनॉप्सिसचे पहिले आणि सर्वात प्रसिद्ध उत्पादन काय आहे?