An efficient heuristic procedure for solving the state assignment problem for event-based specifications

LAVAGNO, L ; MOON, C. W ; et al.

In: IEEE transactions on computer-aided design of integrated circuits and systems, Jg. 14 (1995), Heft 1, S. 45-60

Online academicJournal - print, 27 ref

Zugriff:

Volltext

We propose a novel framework to solve the state assignment problem arising from the signal transition graph (STG) representation of an asynchronous circuit. We first establish a relation between STG's and finite state machines (FSM's). Then we solve the STG state assignment problem by minimizing the number of states in the corresponding FSM and by using a critical race-free state assignment technique. State signal transitions may be added to the original STG. A lower bound on the number of signals necessary to implement the STG is given. Our technique significantly increases the STG applicability as a specification for asynchronous circuits.

Titel:	An efficient heuristic procedure for solving the state assignment problem for event-based specifications
Autor/in / Beteiligte Person:	LAVAGNO, L ; MOON, C. W ; BRAYTON, R. K ; SANGIOVANNI-VINCENTELLI, A. L
Link:	Volltext View record from PASCAL Archive
Zeitschrift:	IEEE transactions on computer-aided design of integrated circuits and systems, Jg. 14 (1995), Heft 1, S. 45-60
Veröffentlichung:	New York, NY: Institute of Electrical and Electronics Engineers, 1995
Medientyp:	academicJournal
Umfang:	print, 27 ref
ISSN:	0278-0070 (print)
Schlagwort:	Electronics Electronique Sciences exactes et technologie Exact sciences and technology Sciences appliquees Applied sciences Circuits électriques, optiques et optoélectroniques Electric, optical and optoelectronic circuits Etude théorique. Analyse et conception des circuits Theoretical study. Circuits analysis and design Algorithme Algorithm Algoritmo Assignation Assignment Asignación Automate fini Finite automaton Autómata estado finito Borne inférieure Lower bound Cota inferior Circuit asynchrone Asynchronous circuit Circuito asincrono Circuit interface Interface circuit Circuito intercara Circuit numérique Digital circuit Circuito numérico Codage Coding Codificación Conception assistée Computer aided design Concepción asistida Conception circuit Circuit design Concepción circuito Etat transition Transition state Estado transitorio Etude théorique Theoretical study Estudio teórico Implémentation Implementation Ejecución Minimisation Minimization Minimización Modélisation Modeling Modelización Réseau Pétri Petri net Red Petri Résolution problème Problem solving Resolución problema Synthèse circuit Circuit synthesis Síntesis circuito Théorie circuit Circuit theory Teoría circuito Partitioning set derivation Schéma bloc Function block diagram Signal transition graph State splitting
Sonstiges:	Nachgewiesen in: PASCAL Archive Sprachen: English Original Material: INIST-CNRS Document Type: Article File Description: text Language: English Author Affiliations: Politec. Torino, dep. electronics, Torino 10129, Italy Rights: Copyright 1995 INIST-CNRS ; CC BY 4.0 ; 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 Notes: Electronics

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.