| Author(s) |
R. Piloty1, M. Barbacci1, D. Borrione2, D. Dietmeyer1, D. Hill1, P. Skelly1 |
| Laboratory |
|
| Subject |
Engineering Sciences/Micro and nanotechnologies/Microelectronics
|
| Title |
CONLAN-a formal construction method for hardware description languages: language derivation |
| Abstract |
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. |
| Fulltext language |
English |
|
| Book title |
AFIPS-Conference-Proceedings.-1980-National-Computer-Conference. |
| Publication date |
1980 |
| Page, identifiant, ... |
219-27 |
| Commercial editor |
AFIPS, Arlington, VA, USA |
|
| Conference or book title |
AFIPS-Conference-Proceedings.-1980-National-Computer-Conference. |
| Conference date |
1980 |
| City |
Anaheim, CA |
| Country |
United States |
|
| Keyword(s) |
CONLAN- – formal-construction-method – hardware-description-languages – language-derivation |
| Classification |
PACS 85.42 |
|
