Les propriétés sont créées et validées avant l’étape de vérification

Le 18/09/2003 à 0:00 par La rédaction

Propriétés et assertions sont de plus plus fréquemment mises en œuvre par les concepteurs dans leurs projets complexes de FPGA, circuits spécifiques et systèmes sur une puce. Pour les aider, le Britannique TransEDA vient d’introduire PA-Studio, un ensemble de trois outils (Property generator, Waveform editor et Results viewer) de création, de vérification et de débogage

Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.

Copy link
Powered by Social Snap