Circuits : des outils qui simplifient la vérification formelle
L'Américain Jasper Design Automation a introduit GamePlan 1.1, qui permet de créer des plans de vérification et d'en suivre les…
L'Américain Jasper Design Automation a introduit GamePlan 1.1, qui permet de créer des plans de vérification et d'en suivre les…
Après 360 Module Verifier pour les circuits intégrés (voir EI n° 627), l'Allemand Onespin Solutions a lancé le premier logiciel de…
Le nouveau logiciel d'Altos Design Automation est capable de caractériser des cellules standards en prenant en compte les variations systématiques…
Les développeurs veulent aller au-delà de la recherche d'erreurs dans un logiciel embarqué, à savoir disposer de moyens leur permettant…
L'une des principales raisons au prix élevé des redevances payées par les constructeurs d'équipements 3G W-CDMA tient au fait que…
Finalisée début 2007 par le comité Vesa (voir EI n° 640), la spécification DisplayPort 1.1 semble bien positionnée pour s'imposer à…
Le Forum DVB vient de finaliser la spécification DVB-SH, applicable aux systèmes de diffusion hybride (satellite-terrestre) de programmes TV vers…
L'édition 2007 de RTS, salon dédié aux solutions informatiques temps réel et aux systèmes embarqués, a consacré, une nouvelle fois,…
Le Taïwanais Delta, spécialiste de la gestion d'énergie, vient de terminer le développement d'un procédé de fabrication de modules photovoltaïques…
Le Suisse Leclanché propose de réaliser des accumulateurs lithium-ion dans des formats configurables par l'utilisateur à la commande. Il propose…
Sur le modèle de ses capteurs d'oxygène, Delphi lance l'un des tout premiers capteurs d'ammoniac destiné à faire diminuer la…
Le dernier capteur capacitif pour interfaces tactiles de Quantum Research voit sa consommation et le nombre de composants passifs externes…
La 9e édition du salon Display, qui s'est déroulée au Cnit début mars, a été l'occasion de faire le point…