HAL : hal-00014331, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

AFIPS-Conference-Proceedings.-1980-National-Computer-Conference., Anaheim, CA : United States (1980)

CONLAN-a formal construction method for hardware description languages: language derivation

R. Piloty 1, M. Barbacci 1, D. Borrione 2, D. Dietmeyer 1, D. Hill 1, P. Skelly 1

(1980)

A CONLAN document has significance only if it is read by a person or machine. that reader (environment) is required to use available facilities to respond to and interact with the document. It must provide the type checking mechanism. It must record the names of defined and declared items and provide the data base they require. It must record signal values. From such records, it can determine facts of importance to continued document evaluation. `System interfaces' are prescribed environment responses, not formally defined via CONLAN syntax.

1 :	Technische Hoschschule
	UNIVERSITÄT DARMSTADT
2 :	Techniques of Informatics and Microelectronics for integrated systems Architecture (TIMA)
	CNRS : UMR5159 – Université Joseph Fourier - Grenoble I – Institut National Polytechnique de Grenoble (INPG)

Domaine

:

Sciences de l'ingénieur/Micro et nanotechnologies/Microélectronique

Mots Clés : CONLAN- – formal-construction-method – hardware-description-languages – language-derivation

hal-00014331, version 1

http://hal.archives-ouvertes.fr/hal-00014331

oai:hal.archives-ouvertes.fr:hal-00014331

Contributeur : Lucie Torella <>

Soumis le : Mercredi 23 Novembre 2005, 15:55:22

Dernière modification le : Vendredi 14 Avril 2006, 11:09:17