Encoding large asynchronous controllers with ILP techniques

State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers specified with signal transition graphs. The method is based on the structural theory of Petri nets and uses integer-linear...

Full description

Bibliographic Details
Authors: Carmona Vargas, Josep|||0000-0001-9656-254X, Cortadella, Jordi|||0000-0001-8114-250X
Format: article
Publication Date:2008
Country:España
Institution:Universitat Politècnica de Catalunya (UPC)
Repository:UPCommons. Portal del coneixement obert de la UPC
Language:English
OAI Identifier:oai:upcommons.upc.edu:2117/126456
Online Access:https://hdl.handle.net/2117/126456
https://dx.doi.org/10.1109/TCAD.2007.907238
Access Level:Open access
Keyword:Asynchronous circuits
Logic design
Logic programming
Petri nets
State encoding
Structural methods
Circuits asíncrons
Estructura lògica
Programació lògica
Petri, Xarxes de
Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats
id ES_5d2a222c0349ece42c06c285437e2d11
oai_identifier_str oai:upcommons.upc.edu:2117/126456
network_acronym_str ES
network_name_str España
repository_id_str
spelling Encoding large asynchronous controllers with ILP techniquesCarmona Vargas, Josep|||0000-0001-9656-254XCortadella, Jordi|||0000-0001-8114-250XAsynchronous circuitsLogic designLogic programmingPetri netsState encodingStructural methodsCircuits asíncronsEstructura lògicaProgramació lògicaPetri, Xarxes deÀrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integratsState encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers specified with signal transition graphs. The method is based on the structural theory of Petri nets and uses integer-linear programming to insert state signals in locations that guarantee the consistency and absence of critical races. The structural nature of the proposed method makes it conservative, i.e., a solution cannot be guaranteed, even if it exists. Nevertheless, the experiments show that this limitation did not preclude finding a solution for all the examples presented in this paper. The method can be customized for area or delay optimization. The experimental results confirm the quality of the circuits, as compared with state-based methods. They also show the significant benefits that could be obtained if logic synthesis would be incorporated in synthesis frameworks that generate controllers by syntax-directed translation.Peer Reviewed20082008-01-0120192019-01-10journal articlehttp://purl.org/coar/resource_type/c_6501VoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/2117/126456https://dx.doi.org/10.1109/TCAD.2007.907238reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2117/1264562026-05-27T15:37:01Z
dc.title.none.fl_str_mv Encoding large asynchronous controllers with ILP techniques
title Encoding large asynchronous controllers with ILP techniques
spellingShingle Encoding large asynchronous controllers with ILP techniques
Carmona Vargas, Josep|||0000-0001-9656-254X
Asynchronous circuits
Logic design
Logic programming
Petri nets
State encoding
Structural methods
Circuits asíncrons
Estructura lògica
Programació lògica
Petri, Xarxes de
Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats
title_short Encoding large asynchronous controllers with ILP techniques
title_full Encoding large asynchronous controllers with ILP techniques
title_fullStr Encoding large asynchronous controllers with ILP techniques
title_full_unstemmed Encoding large asynchronous controllers with ILP techniques
title_sort Encoding large asynchronous controllers with ILP techniques
dc.creator.none.fl_str_mv Carmona Vargas, Josep|||0000-0001-9656-254X
Cortadella, Jordi|||0000-0001-8114-250X
author Carmona Vargas, Josep|||0000-0001-9656-254X
author_facet Carmona Vargas, Josep|||0000-0001-9656-254X
Cortadella, Jordi|||0000-0001-8114-250X
author_role author
author2 Cortadella, Jordi|||0000-0001-8114-250X
author2_role author
dc.subject.none.fl_str_mv Asynchronous circuits
Logic design
Logic programming
Petri nets
State encoding
Structural methods
Circuits asíncrons
Estructura lògica
Programació lògica
Petri, Xarxes de
Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats
topic Asynchronous circuits
Logic design
Logic programming
Petri nets
State encoding
Structural methods
Circuits asíncrons
Estructura lògica
Programació lògica
Petri, Xarxes de
Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats
description State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers specified with signal transition graphs. The method is based on the structural theory of Petri nets and uses integer-linear programming to insert state signals in locations that guarantee the consistency and absence of critical races. The structural nature of the proposed method makes it conservative, i.e., a solution cannot be guaranteed, even if it exists. Nevertheless, the experiments show that this limitation did not preclude finding a solution for all the examples presented in this paper. The method can be customized for area or delay optimization. The experimental results confirm the quality of the circuits, as compared with state-based methods. They also show the significant benefits that could be obtained if logic synthesis would be incorporated in synthesis frameworks that generate controllers by syntax-directed translation.
publishDate 2008
dc.date.none.fl_str_mv 2008
2008-01-01
2019
2019-01-10
dc.type.none.fl_str_mv journal article
http://purl.org/coar/resource_type/c_6501
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/126456
https://dx.doi.org/10.1109/TCAD.2007.907238
url https://hdl.handle.net/2117/126456
https://dx.doi.org/10.1109/TCAD.2007.907238
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869408993969963008
score 15,198674

Similar Items