La lecture de cet article est réservée aux abonnés.
Connectez-vous ou abonnez-vous pour y accéder.
Les propriétés sont créées et validées avant l’étape de vérification
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…
