Les méthodes formelles hybrides à la rescousse de la vérification des blocs RTL
Les outils d'analyse hybride, qui combinent preuve formelle et simulation, améliorent significativement la productivité de la vérification. Dans le même…
Les outils d'analyse hybride, qui combinent preuve formelle et simulation, améliorent significativement la productivité de la vérification. Dans le même…
Après avoir sélectionné le convertisseur DC-DC intégré adapté à l'application, le concepteur se trouve confronté au problème du choix judicieux…
Le boundary-scan ou Jtag a pris un nouvel essor ces dernières années et ses domaines d'application se sont étendus. En…
Passer en dessous des 100 nm ne s'avère pas aussi simple qu'une classique diminution des géométries et requiert des investissements coûteux,…
Pour ceux qui ne font pas l'acquisition d'un module LCD tout intégré, le choix des circuits d'attaque de l'écran se…
En s'offrant Xicor pour la coquette somme de 529 millions de dollars environ, dans une transaction associant cash et échange…
A la surprise générale, le numéro un mondial des outils de CAO, Synopsys, a annoncé le 7 avril dernier, sans explications…
Cadence renforce sa position déjà dominante dans les outils de CAO analogique et mixte en rachetant Neolinear. (suite…)
Green Hills, spécialisé dans les outils de développement et de débogage pour logiciels embarqué, et Arc International, spécialisé dans les…
La société de CAO Magma va licencier, avec ses outils de synthèse Blast Synthesis et de placement-routage Blast Route, l'outil…
Accelerated Technology, la division systèmes embarqués de Mentor, acquiert la société américaine Project Technology, spécialisée dans les outils de programmation…
Antycip a élargi l'offre de sa division « Equipements et test » avec la gamme de testeurs de cartes incircuit et fonctionnels…
Jusqu'alors propriété du groupe Thermo Electron, Gould & Nicolet a été repris fin 2003 par SPX, dont il a intégré…