Show simple item record

dc.contributor.authorSan Pedro Martín, Javier de
dc.contributor.authorBourgeat, Thomas
dc.contributor.authorCortadella, Jordi
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.identifier.citationSan Pedro, J. de, Bourgeat, T., Cortadella, J. Specification mining for asynchronous controllers. A: IEEE International Symposium on Asynchronous Circuits and Systems. "22nd IEEE International Symposium on Asynchronous Circuits and Systems: 8-11 May 2016 Porto Alegre, Brazil: proceedings". Porto Alegre: Institute of Electrical and Electronics Engineers (IEEE), 2016, p. 107-114.
dc.description.abstractThe paper presents a first effort at exploring a novel area in the domain of asynchronous controllers: specification mining. Rather than synthesizing circuits from specifications, we aim at doing reverse engineering, i.e., discovering safe specifications from the circuits that preserve a set of pre-defined behavioral properties (e.g., hazard freeness). The specifications are discovered without any previous knowledge of the behavior of the circuit environment. This area may open new opportunities for re-synthesis and verification of asynchronous controllers. The effectiveness of the proposed approach is demonstrated by mining concurrent specifications (Signal Transition Graphs) from multiple implementations of 4-phase handshake controllers and some controllers with choice.
dc.format.extent8 p.
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)
dc.subjectÀrees temàtiques de la UPC::Informàtica::Arquitectura de computadors
dc.subject.lcshLogic design
dc.subject.lcshAsynchronous circuits
dc.subject.otherReverse engineering
dc.subject.otherSpecification mining
dc.subject.otherAsynchronous controllers
dc.subject.otherConcurrent specifications
dc.subject.otherSignal transition graphs
dc.subject.other4-phase handshake controllers
dc.titleSpecification mining for asynchronous controllers
dc.typeConference report
dc.subject.lemacEstructura lògica
dc.subject.lemacCircuits asíncrons
dc.contributor.groupUniversitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.description.peerreviewedPeer Reviewed
dc.rights.accessOpen Access
dc.description.versionPostprint (author's final draft)
upcommons.citation.authorSan Pedro, J. de; Bourgeat, T.; Cortadella, J.
upcommons.citation.contributorIEEE International Symposium on Asynchronous Circuits and Systems
upcommons.citation.pubplacePorto Alegre
upcommons.citation.publicationName22nd IEEE International Symposium on Asynchronous Circuits and Systems: 8-11 May 2016 Porto Alegre, Brazil: proceedings

Files in this item


This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder