Vérification semi-formelle et synthèse automatique de PSL vers VHDL
La vérification à base de propriétés (PBV) est devenue un élément essentiel des flots de conception pour supporter la vérification de circuits complexes. Pour de tels composants où les techniques de vérification formelle ne peuvent s'appliquer, la vérification dynamique à base de propriétés con...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00481923 http://tel.archives-ouvertes.fr/docs/00/48/19/23/PDF/sfv_0318.pdf |