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

Le standard PSL vers l'IEEE

PSL (Property specification language), le langage d'écriture de propriétés et d'assertions utilisé pour la vérification formelle d'une conception, vient d'être…

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

Directement du C au RTL

Avec son produit Xpress (Xtensa processor extension synthesis), Tensilica permet de passer directement d'une description en C/C++ de sa technologie…

Les partenaires