TRABALHOS PUBLICADOS

@inproceedings{Duarte2013Petri-netb,

title = {Synthesis by Direct Mapping of Asynchronous Control Circuits from Bursts Transition Graph},

author = {Duarte L Oliveira and Sandro S Sato and Lester A Faria},

url = {https://www.sige.ita.br/edicoes-anteriores/2013/st/IX_3.pdf},

year  = {2013},

date = {2013-01-01},

booktitle = {Simp\'{o}sio de Aplica\c{c}\~{o}es Operacionais em \'{A}reas de Defesa 2013 (SIGE2013)},

abstract = {Several proposals have been made to generalize the specifications extended burst-mode (XBM) and signal transition graph (STG), which describe asynchronous controllers and that are popular. All proposals direct to methods for design of controllers by logic synthesis. These methods lead to a complex synthesis that can invalidate the automatic synthesis. In this paper we propose a method by direct mapping to synthesis of asynchronous controllers that are described by the bursts transition graph (BTG) specification. The BTG specification combines the strong of the specifications XBM and STG and the method by direct mapping has the advantages of simplicity, requires little computational effort thus allows synthesizing large specifications and requires no knowledge of asynchronous logic.},

keywords = {control cell, Petri-net, signal, XBM specification},

pubstate = {published},

tppubtype = {inproceedings}

}