|
Scheda bibliografica proveniente da importazione di metadati da altro sistema |
Tipo: |
Testo a stampa, Risorsa analitica |
É contributo di: |
Optimization techniques |
Titolo: |
Implementation conditions for delay insensitive circuits |
Pubblicazione: |
Berlin ; Heidelberg ; New York : Springer, 1975 |
Descrizione fisica: |
341-355 |
Titolo uniforme: |
Optimization techniques |
Numeri standard: |
DOI 10.1007/3540512845_49 |
Sommario o abstract: |
Designs of delay insensitive circuits must be proven correct in two different respects. First it must be demonstrated that a design meets its functional specification. Second it must be assured that it tolerates arbitrary delays in its individual components. The latter proof requires a model explicitly mentioning wire delays, whereas the former is much easier carried out in a model neglecting such delays |
Altra responsabilitą: |
Anders Gammelgaard |
Classificazione Dewey: |
519.7 ed.22 Programmazione |
Lingua della pubblicazione: |
Inglese |
Paese di pubblicazione: |
Germania ; Stati Uniti d'America |
Codice identificativo: |
IT/ItRC/00017593 |
data di importazione: |
01-01-2014 |
|
Full text  |