A Formal Method for Hardware IP Design and Integration under I/O and Timing Constraints - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

A Formal Method for Hardware IP Design and Integration under I/O and Timing Constraints

Fichier non déposé

Dates et versions

hal-00077860 , version 1 (01-06-2006)

Identifiants

  • HAL Id : hal-00077860 , version 1

Citer

Philippe Coussy, E. Martin. A Formal Method for Hardware IP Design and Integration under I/O and Timing Constraints. PhD Forum of the IEEE International Conference on Design Automation and Test in Europe (DATE), 2004, Paris, France. ⟨hal-00077860⟩
70 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More