Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • LoginRegisterLog in (no UPC users)
  • mailContact Us
  • world English 
    • Català
    • Castellano
    • English
  • userLogin   
      LoginRegisterLog in (no UPC users)

UPCommons. Global access to UPC knowledge

Banner header
60.707 UPC E-Prints
You are here:
View Item 
  •   DSpace Home
  • E-prints
  • Departaments
  • Departament de Ciències de la Computació
  • Ponències/Comunicacions de congressos
  • View Item
  •   DSpace Home
  • E-prints
  • Departaments
  • Departament de Ciències de la Computació
  • Ponències/Comunicacions de congressos
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

A structural encoding technique for the synthesis of asynchronous circuits

Thumbnail
View/Open
00981773.pdf (316,0Kb)
Share:
 
 
10.1109/CSD.2001.981773
 
  View Usage Statistics
Cita com:
hdl:2117/133434

Show full item record
Carmona Vargas, JosepMés informacióMés informació
Cortadella, JordiMés informacióMés informacióMés informació
Pastor Llorens, EnricMés informacióMés informacióMés informació
Document typeConference report
Defense date2001
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Rights accessOpen Access
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
Abstract
This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such a way that a circuit implementation is always guaranteed. Moreover, a set of transformations is presented for the subclass of Free-Choice Petri nets that enables the exploration of different solutions. All transformations preserve the property of free-choiceness, thus enabling the use of structural methods for the synthesis of asynchronous circuits. Preliminary experimental results indicate that the quality of the circuits is comparable to that obtained by methods that require an exhaustive enumeration of the state space. This novel synthesis method opens the door to the synthesis of large control specifications generated from hardware description languages.
CitationCarmona, J.; Cortadella, J.; Pastor, E. A structural encoding technique for the synthesis of asynchronous circuits. A: International Conference on Application of Concurrency to System Design. "Second International Conference on Application of Concurrency to System Design, 25-29 June 2001, Newcastle upon Tyne, UK: proceedings". Institute of Electrical and Electronics Engineers (IEEE), 2001, p. 157-166. 
URIhttp://hdl.handle.net/2117/133434
DOI10.1109/CSD.2001.981773
ISBN0-7695-1071-X
Publisher versionhttps://ieeexplore.ieee.org/document/981773
Collections
  • Departament de Ciències de la Computació - Ponències/Comunicacions de congressos [1.240]
  • ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals - Ponències/Comunicacions de congressos [319]
  • CAP - Grup de Computació d'Altes Prestacions - Ponències/Comunicacions de congressos [783]
  • Departament d'Arquitectura de Computadors - Ponències/Comunicacions de congressos [1.858]
Share:
 
  View Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
00981773.pdf316,0KbPDFView/Open

Browse

This CollectionBy Issue DateAuthorsOther contributionsTitlesSubjectsThis repositoryCommunities & CollectionsBy Issue DateAuthorsOther contributionsTitlesSubjects

© UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

info.biblioteques@upc.edu

  • About This Repository
  • Contact Us
  • Send Feedback
  • Privacy Settings
  • Inici de la pàgina