Waveform Transition Graphs: a designer-friendly formalism for asynchronous behaviours

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/114897

dc.contributor	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor	Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.contributor.author	Cortadella, Jordi
dc.contributor.author	Moreno Vega, Alberto
dc.contributor.author	Sokolov, Danil
dc.contributor.author	Yakovlev, Alex
dc.contributor.author	Lloyd, David
dc.date	2017
dc.identifier.citation	Cortadella, J., Moreno, A., Sokolov, D., Yakovlev, A., Lloyd, D. Waveform Transition Graphs: a designer-friendly formalism for asynchronous behaviours. A: IEEE International Symposium on Asynchronous Circuits and Systems. "23rd International Symposium on Asynchronous Circuits and Systems". Institute of Electrical and Electronics Engineers (IEEE), 2017, p. 73-74.
dc.identifier.citation	978-1-5386-2749-5
dc.identifier.citation	10.1109/ASYNC.2017.24
dc.identifier.uri	http://hdl.handle.net/2117/114897
dc.language.iso	eng
dc.publisher	Institute of Electrical and Electronics Engineers (IEEE)
dc.relation	http://ieeexplore.ieee.org/document/8097387/
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	Circuits asíncrons
dc.subject	Estructura lògica
dc.title	Waveform Transition Graphs: a designer-friendly formalism for asynchronous behaviours
dc.type	info:eu-repo/semantics/submittedVersion
dc.type	info:eu-repo/semantics/conferenceObject
dc.description.abstract	The paper proposes a new formal model for describing asynchronous behaviours involving the interplay of causality, concurrency and choice. The model is called Waveform Transition Graphs. Its main aim is simplifying the learning process for industrial engineers in accessing powerful synthesis tools provided for Signal Transition Graphs by sacrificing some of the expressive power of the latter. This formalism is developed based on feedback from engineers of Dialog Semiconductor.
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