Denali lance un nouveau produit pour accélérer la vérification des systèmes sur puce
PALO ALTO, Californie, April 16 /PRNewswire/ --
- PureSpec, un produit de vérification IP, automatise la vérification des registres de configuration
Denali Software, Inc. un fournisseur mondial de premier plan de logiciels et de propriété intellectuelle (IP) de conception électronique automatisée (EDA), a annoncé aujourd'hui la disponibilité de PureSpec(TM) SystemRDL, un produit de vérification IP qui automatise la vérification fonctionnelle des registres de configuration des conceptions de systèmes sur puce. Les registres de configuration sont utilisés dans les puces de semi-conducteurs, souvent par dizaines de milliers, pour stocker les données clefs qui définissent le fonctionnement d'une puce. PureSpec SystemRDL de Denali élimine le processus, fastidieux et susceptible de créer des erreurs, de vérification manuelle des opérations du registre et permet aux ingénieurs d'automatiser le contrôle structurel de bas niveau, de générer des modèles fonctionnels de couverture et d'exposer rapidement des erreurs potentielles dans la conception du système sur puce. Une vue plus générale de la technologie PureSpec SystemRDL et de ses applications est disponible par l'intermédiaire d'un webcast sur : http://www.denali.com/webcast/purespec_systemrdl
<< PureSpec SystemRDL répond à un besoin important pour les ingénieurs de conception et de vérification >>, estime Sean Smith, architecte de vérification en chef chez Denali. << Nous automatisons la tâche de création des structures de vérification des données et des modèles de couverture fonctionnelle pour les structures de registre. Même pour les clients initiaux, cela a transformé un effort fastidieux durant 3 à 6 semaines en un processus de 1 à 2 jours, ce qui est considérable pour tout effort de conception de puce. >>
A propos de PureSpec SystemRDL
PureSpec SystemRDL est un produit de vérification IP conçu pour automatiser tous les aspects du processus de vérification ayant trait aux registres de contrôle et d'état (CSR). PureSpec SystemRDL élimine le processus, fastidieux et susceptible de créer des erreurs, de description des registres à des fins de vérification tout en fournissant automatiquement un contrôle structurel de bas niveau des registres. Le produit offre des gains de productivité considérables en découvrant rapidement les erreurs dans la conception de la puce et dans sa mise en oeuvre. L'interopérabilité entre PureSpec SystemRDL et les autres produits de vérification IP à travers une interface standard de rappel, permet la communication avec n'importe quel protocole de bus et dans n'importe quel langage de banc d'essai supporté tel que : Verilog, VHDL, Specman, Vera, ou SystemVerilog. Pour plus de renseignements à propos de SystemRDL et pour regarder un webcast, veuillez consulter : http://www.denali.com/products/purespec_systemrdl/
A propos de SystemRDL
SystemRDL a été spécifiquement conçu pour décrire et exécuter un éventail important de registres de contrôle et d'état. SystemRDL est un langage orienté objet possédant une importante palette de fonctionnalités afin de décrire, générer et vérifier des structures complexes de registres de conception de système sur puce. Les développeurs utilisent SystemRDL afin de générer et de synchroniser automatiquement la visualisation de registre pour les spécifications, la conception du matériel, le développement du logiciel, la vérification et la documentation. SystemRDL est aussi compatible avec les autres normes de développement de systèmes sur puce telles que IP-XACT du consortium SPIRIT. Il a été prouvé, à travers de nombreuses conceptions de systèmes sur puce à grande échelle, que la solution réduit énormément le cycle de développement des concepteurs de matériel et des ingénieurs responsable de leur vérification et des développeurs de logiciel. Afin d'obtenir les spécifications, le compilateur et les autres ressources associées du langage SystemRDL, veuillez consulter : http://www.systemrdl.org
A propos de Denali Software
Denali Software, Inc. est un fournisseur mondial de premier plan de logiciels et de propriété intellectuelle (IP) de conception électronique automatisée (EDA) pour la conception et la vérification de systèmes sur puce (SoC). Denali propose les solutions les plus fiables du secteur pour le déploiement de sous-systèmes PCI Express, NAND Flash et DDR-SDRAM. Les développeurs utilisent les solutions EDA, IP et les services de Denali pour réduire les risques et accélérer le temps de mise sur le marché de systèmes électroniques et la conception de puces. Denali, dont le siège est situé à Palo Alto, en Californie, dispose de bureaux aux quatre coins du globe au service du secteur mondial de l'électronique. Pour plus de plus informations sur Denali, ses produits et ses services, veuillez consulter www.denali.com.
REMARQUE : Denali et Denali Software sont des marques commerciales déposées de Denali Software, Inc. PureSpec est une marque commerciale de Denali Software, Inc. Toutes les autres marques commerciales appartiennent à leurs propriétaires respectifs.
Contact éditorial : Pierre Golde Denali Software, Inc. +1-650-461-7262 pgolde@denali.com
Site Internet : http://www.denali.com