Symbiotic EDA Suite

1 avis

La suite Symbiotic EDA est une collection complète d'outils de vérification formelle et de conception FPGA conçue pour les concepteurs de circuits numériques. Elle améliore la productivité et assure la fiabilité des conceptions matérielles en intégrant des méthodologies avancées de vérification formelle tout au long du processus de conception. La suite prend en charge une large gamme de langages de description matérielle (HDL), y compris Verilog, SystemVerilog et VHDL, ce qui la rend adaptable à diverses exigences de conception. En facilitant la détection précoce des défauts de conception et en fournissant une analyse perspicace, la suite Symbiotic EDA permet aux ingénieurs de livrer des puces et des solutions FPGA de haute qualité et sans bogues de manière efficace. Caractéristiques clés et fonctionnalités : - Yosys - Édition Symbiotic EDA : Un cadre de synthèse RTL robuste offrant plus de 150 commandes pour le traitement et l'analyse des conceptions HDL. Il prend en charge Verilog (1995, 2000, 2005), SystemVerilog (2005, 2009, 2012) et VHDL (1987, 1993, 2000, 2008). - SymbiYosys - Édition Symbiotic EDA : Étend les capacités de Yosys à la vérification formelle, permettant la vérification non bornée et bornée des propriétés de sécurité, des propriétés de vivacité et des vérifications d'accessibilité. Il s'intègre avec les principaux solveurs SMT comme Yices, Boolector et Z3. - MCY - Mutation Cover avec Yosys : Fournit un cadre pour la couverture de mutation améliorée par la vérification formelle, garantissant une vérification approfondie des bancs d'essai sans faux positifs ni négatifs. - IP de vérification : Inclut une bibliothèque d'IP de vérification formelle, prenant en charge des interfaces de bus telles que AXI, AXI-Lite et Wishbone. - Options de licence : Offre divers modèles de licence, y compris l'édition Cloud (Symbiotic-CE), l'édition en ligne (Symbiotic-OE), l'édition de groupe de travail (Symbiotic-WE) et l'édition entreprise (Symbiotic-EE), répondant aux différents besoins organisationnels. Valeur principale et problème résolu : La suite Symbiotic EDA répond au besoin critique de vérification de conception matérielle fiable et efficace. En intégrant des outils de vérification formelle dès le début du processus de conception, elle permet aux ingénieurs d'identifier et de rectifier rapidement les problèmes potentiels, réduisant ainsi le temps et les coûts de développement. Le support de la suite pour plusieurs HDL et sa nature extensible la rendent adaptée à un large éventail d'applications, de la recherche académique au développement de produits industriels. En fin de compte, elle permet aux concepteurs de produire des circuits numériques et des solutions FPGA de haute qualité et fiables.