Structural methods for the synthesis of speed-independent circuits

Home | About RECERCAT | Contact

Català | Castellano

All of RECERCAT

By Communities &
Collections By Defense Date By Authors By Titles By Subject

This Collection

By Defense Date By Authors By Titles By Subject

Statistics

View Statistics All RECERCAT

My RECERCAT

Other repositories directory

RECERCAT Home > Universitat Politècnica de Catalunya > Documents de recerca > View document

To access the full text documents, please follow this link: http://hdl.handle.net/2117/129510

dc.contributor	Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
dc.contributor	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor	Universitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions
dc.contributor	Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.contributor.author	Pastor Llorens, Enric
dc.contributor.author	Cortadella, Jordi
dc.contributor.author	Kondratyev, Alex
dc.contributor.author	Roig Mansilla, Oriol
dc.date	1996
dc.identifier.citation	Pastor, E. [et al.]. Structural methods for the synthesis of speed-independent circuits. A: European Design and Test Conference. "European Design & Test Conference, ED&TC 96: March 11-14, 1996, Paris, France: proceedings". Institute of Electrical and Electronics Engineers (IEEE), 1996, p. 340-347.
dc.identifier.citation	0-8186-7424-5
dc.identifier.citation	10.1109/EDTC.1996.494323
dc.identifier.uri	http://hdl.handle.net/2117/129510
dc.language.iso	eng
dc.publisher	Institute of Electrical and Electronics Engineers (IEEE)
dc.relation	https://ieeexplore.ieee.org/document/494323
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats
dc.subject	Asynchronous circuits
dc.subject	Logic design
dc.subject	Petri nets
dc.subject	Network synthesis
dc.subject	Signal flow graphs
dc.subject	Circuits asíncrons
dc.subject	Estructura lògica
dc.subject	Petri, Xarxes de
dc.title	Structural methods for the synthesis of speed-independent circuits
dc.type	info:eu-repo/semantics/publishedVersion
dc.type	info:eu-repo/semantics/conferenceObject
dc.description.abstract	Most existing tools for the synthesis of asynchronous circuits from Signal Transition Graphs (STGs) derive the reachability graph for the calculation of logic equations. This paper presents novel methods exclusively based on the structural analysis of the underlying Petri net. This methodology can be applied to any STG that can be covered by State Machines and, in particular to all live and safe free-choice STGs. Significant improvements with regard to existing structural methods are provided. The new techniques have been implemented in an experimental tool that has been able to synthesize specifications with over 10/sup 27/ markings, some of them being non-free choice.
dc.description.abstract	Peer Reviewed

Show simple item record

All of RECERCAT

This Collection

Statistics

My RECERCAT

Related documents

Other documents of the same author