Pascal and Francis Bibliographic Databases

Help

Permanent link : http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=3390866

Export

Selection :

Synthesis of hazard-free asynchronous circuits with bounded wire delays

Author
LAVAGNO, L1 ; KEUTZER, K; SANGIOVANNI-VINCENTELLI, A. L
[1] Politec. Torino, dep. electrical eng., Torino, Italy
Source

IEEE transactions on computer-aided design of integrated circuits and systems. 1995, Vol 14, Num 1, pp 61-86 ; ref : 53 ref

CODEN
ITCSDI
ISSN
0278-0070
Scientific domain
Electronics
Publisher
Institute of Electrical and Electronics Engineers, New York, NY
Publication country
United States
Document type
Article
Language
English
Keyword (fr)
Algorithme Circuit asynchrone Circuit commande Circuit séquentiel Conception assistée Conception circuit Diagramme état Délai transmission Etat transition Etude théorique Graphe Implémentation Modélisation Optimisation sous contrainte Programmation logique Retard Réseau Pétri Synthèse circuit Transduction signal Vérification expérimentale Dynamic hazard Hazard detection Schéma bloc Signal Transition Graph
Keyword (en)
Algorithm Asynchronous circuit Control circuit Sequential circuit Computer aided design Circuit design State diagram Transmission time Transition state Theoretical study Graph Implementation Modeling Constrained optimization Logical programming Delay Petri net Circuit synthesis Signal transduction Experimental test Function block diagram
Keyword (es)
Algoritmo Circuito asincrono Circuito control Circuito secuencial Concepción asistida Concepción circuito Diagrama estado Plazo transmisión Estado transitorio Estudio teórico Grafo Ejecución Modelización Optimización con restricción Programación lógica Retraso Red Petri Síntesis circuito Transducción señal Verificación experimental
Classification
Pascal
001 Exact sciences and technology / 001D Applied sciences / 001D03 Electronics / 001D03G Electric, optical and optoelectronic circuits / 001D03G01 Theoretical study. Circuits analysis and design

Discipline
Electronics
Origin
Inist-CNRS
Database
PASCAL
INIST identifier
3390866

Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS

Access to the document

Searching the Web