Modular Model Checking of VLSI Designs described in VHDL - Archive ouverte HAL
Communication Dans Un Congrès Année : 1998

Modular Model Checking of VLSI Designs described in VHDL

Domaines

Informatique [cs]

Lip6 Publications  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01621482

Soumis le : lundi 23 octobre 2017-15:17:38

Dernière modification le : mardi 11 avril 2023-15:16:28

Fichier non déposé

Dates et versions

hal-01621482 , version 1 (23-10-2017)

Identifiants

  • HAL Id : hal-01621482 , version 1

Citer

Fahim Rahim, Emmanuelle Encrenaz, Michel Minoux, Rajesh K. Bawa. Modular Model Checking of VLSI Designs described in VHDL. IEEE International Conference on Computer and their Applications, Mar 1998, Honolulu, Hawai, United States. pp.365-368. ⟨hal-01621482⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES
59 Consultations
0 Téléchargements

Partager

More