Vérification formelle des circuits digitaux décrits en VHDL

Vérification formelle des circuits digitaux décrits en VHDL

.

Bibliographic Details
Main Author: Salem, Ashrag Mohamed El-Farghly
Language:FRE
Published: 1992
Subjects:
[INFO:INFO_MO] Computer Science/Modeling and Simulation
langage de description matériel
sémantique dénotationnelle
vérification formelle de circuits digitaux
modélisation de circuits
vérification temporelle
Online Access:http://tel.archives-ouvertes.fr/tel-00340910
http://tel.archives-ouvertes.fr/docs/00/34/09/10/PDF/Salem.Ashraf-Mohamed-El-Farghly_1992_these.pdf

Internet

http://tel.archives-ouvertes.fr/tel-00340910
http://tel.archives-ouvertes.fr/docs/00/34/09/10/PDF/Salem.Ashraf-Mohamed-El-Farghly_1992_these.pdf

Similar Items