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

R. Piloty (1) , M. Barbacci (1) , D. Borrione (2) , D. Dietmeyer (1) , F. Hill (3, 1) , P. Skelly (1)

1 Technische Hoschschule
2 TIMA - Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés
3 University of Arizona

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.

Mots clés: CONLAN-; formal-construction-method; hardware-description-languages; language-derivation

Domaines: Micro et nanotechnologies/Microélectronique

R. Piloty, M. Barbacci, D. Borrione, D. Dietmeyer, F. Hill, et al.. CONLAN-a formal construction method for hardware description languages: language derivation. AFIPS-Conference-Proceedings.-1980-National-Computer-Conference., May 1980, Anaheim, CA, United States. pp.219-27. ⟨hal-00014331⟩