Réservé aux abonnés
Revue ElectroniqueS
Le 29/10/2009 à 0:00 par La rédaction

Hyperviseur

Wind River Hypervisor de Wind River Cet hyperviseur de Type 1 supporte la virtualisation sur des processeurs monocœur et multicœurs.…

Réservé aux abonnés
Revue ElectroniqueS
Le 29/10/2009 à 0:00 par La rédaction

Plate-forme d’IP pour FPGA

Precise-IP de Mentor Graphics Destinée aux architectures de FPGA, cette plate-forme réunit des blocs d’IP configurables indépendants de la technologie…

Réservé aux abonnés
Revue ElectroniqueS
Le 29/10/2009 à 0:00 par La rédaction

Outil de vérification formelle

PureTime 3.2 de Real Intent Ce logiciel de vérification formelle s’enrichit de deux outils affinant la validation à travers toutes…

Réservé aux abonnés
Revue ElectroniqueS
Le 29/10/2009 à 0:00 par La rédaction

Vérificateur formel enrichi

360 MV RootCauseAnalyzer d'OneSpin Solutions Enrichi de quatre outils de débogage, ce vérificateur formel simplifie et accélère l’établissement des assertions…

Réservé aux abonnés
Revue ElectroniqueS
Le 29/10/2009 à 0:00 par La rédaction

Simulations post-layout

Jivaro 4.3 et Comanche 3.1 d’edXact Ce logiciel d’optimisation de simulation prend en compte l’électromigration et l’analyse des éléments RC…

Les partenaires