| dc.contributor.author | Cortadella, Jordi |
| dc.contributor.author | Lavagno, Luciano |
| dc.contributor.author | Vanbekbergen, Peter |
| dc.contributor.author | Yakovlev, Alex |
| dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
| dc.date.accessioned | 2019-02-07T07:05:44Z |
| dc.date.available | 2019-02-07T07:05:44Z |
| dc.date.issued | 1994 |
| dc.identifier.citation | Cortadella, J. [et al.]. Designing asynchronous circuits from behavioural specifications with internal conflicts. A: International Symposim on Advanced Research in Asynchronous Circuits and Systems. "Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems: November 3-5, 1994, Salt Lake City, Utah". Institute of Electrical and Electronics Engineers (IEEE), 1994, p. 106-115. |
| dc.identifier.isbn | 0-8186-6210-7 |
| dc.identifier.uri | http://hdl.handle.net/2117/128605 |
| dc.description.abstract | The paper presents a systematic method for synthesizing asynchronous circuits from event-based specifications with conflicts on output signals. It describes a set of semantic-preserving transformations performed at the Petri net level, which introduce auxiliary signal transitions implemented by internally analogue components, Mutual Exclusion (ME) elements. The logic for primary outputs can therefore be realized free from hazards and external meta-stability. The technique draws upon the use of standard logic components and two-input MEs, available in a typical design library. |
| dc.format.extent | 10 p. |
| dc.language.iso | eng |
| dc.publisher | Institute of Electrical and Electronics Engineers (IEEE) |
| dc.subject | Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats |
| dc.subject.lcsh | Asynchronous circuits |
| dc.subject.lcsh | Logic design |
| dc.subject.lcsh | Logic circuits |
| dc.subject.other | Behavioural specifications |
| dc.subject.other | Internal conflicts |
| dc.subject.other | Semantic-preserving transformations |
| dc.subject.other | Petri net |
| dc.subject.other | Mutual Exclusion |
| dc.subject.other | Hazards |
| dc.title | Designing asynchronous circuits from behavioural specifications with internal conflicts |
| dc.type | Conference report |
| dc.subject.lemac | Circuits asíncrons |
| dc.subject.lemac | Estructura lògica |
| dc.subject.lemac | Circuits lògics |
| dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
| dc.identifier.doi | 10.1109/ASYNC.1994.656296 |
| dc.description.peerreviewed | Peer Reviewed |
| dc.relation.publisherversion | https://ieeexplore.ieee.org/document/656296 |
| dc.rights.access | Open Access |
| local.identifier.drac | 2414391 |
| dc.description.version | Postprint (published version) |
| local.citation.author | Cortadella, J.; Lavagno, L.; Vanbekbergen, P.; Yakovlev, A. |
| local.citation.contributor | International Symposim on Advanced Research in Asynchronous Circuits and Systems |
| local.citation.publicationName | Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems: November 3-5, 1994, Salt Lake City, Utah |
| local.citation.startingPage | 106 |
| local.citation.endingPage | 115 |
