Synthesis of Asynchronous State Machines from Synchronous Specifications.

Leonardo Romano Duarte Lopes de Oliveira Gabriel C. Duarte Gracieth Cavalcanti Batista Diego A. Silva Leonardo Romano Synthesis of Asynchronous State Machines from Synchronous Specifications. 1-4 2020 LASCAS https://doi.org/10.1109/LASCAS45839.2020.9069010 conf/lascas/2020 db/conf/lascas/lascas2020.html#OliveiraDBSR20 Tiago S. Curtinhas Duarte Lopes de Oliveira Gracieth Cavalcanti Batista Vitor L. V. Torres Leonardo Romano A State Assignment Method for Extended Burst-Mode gC Finite State Machines Based on Genetic Algorithm. 153-156 2019 LASCAS https://doi.org/10.1109/LASCAS.2019.8667601 conf/lascas/2019 db/conf/lascas/lascas2019.html#CurtinhasOBTR19 Duarte Lopes de Oliveira Orlando Verducci Jr. Vitor L. V. Torres Gracieth Cavalcanti Batista Robson L. Moreno Leonardo Romano An Implementation of Extended Burst-Mode Specifications as Quasi Delay Insensitive State Machines. 177-180 2019 LASCAS https://doi.org/10.1109/LASCAS.2019.8667563 conf/lascas/2019 db/conf/lascas/lascas2019.html#OliveiraVTBMR19 Higor A. Delsoto Duarte Lopes de Oliveira Gracieth Cavalcanti Batista Diego A. Silva Leonardo Romano A Tools Flow for Synthesis of Asynchronous Control Circuits from Extended STG Specifications. 225-228 2019 LASCAS https://doi.org/10.1109/LASCAS.2019.8667591 conf/lascas/2019 db/conf/lascas/lascas2019.html#DelsotoOBSR19 Duarte Lopes de Oliveira Tiago S. Curtinhas Lester de Abreu Faria Leonardo Romano A novel asynchronous interface with pausible clock for partitioned synchronous modules. 1-4 2015 LASCAS https://doi.org/10.1109/LASCAS.2015.7250441 conf/lascas/2015 db/conf/lascas/lascas2015.html#OliveiraCFR15 Tiago S. Curtinhas Duarte Lopes de Oliveira Diego Bompean Lester de Abreu Faria Leonardo Romano SICARELO: A tool for synthesis of locally-clocked extended burst-mode asynchronous Controllers. 1-4 2014 LASCAS https://doi.org/10.1109/LASCAS.2014.6820270 conf/lascas/2014 db/conf/lascas/lascas2014.html#CurtinhasOBFR14 Duarte Lopes de Oliveira Tiago S. Curtinhas Lester de Abreu Faria Leonardo Romano Design of synchronous pipeline digital systems operating in double-edge of the clock. 1-4 2013 LASCAS https://doi.org/10.1109/LASCAS.2013.6519068 conf/lascas/2013 db/conf/lascas/lascas2013.html#OliveiraCFR13 Gracieth Cavalcanti Batista Diego Bompean Tiago S. Curtinhas Higor A. Delsoto Gabriel C. Duarte Lester de Abreu Faria Robson L. Moreno Duarte Lopes de Oliveira Diego A. Silva Vitor L. V. Torres Orlando Verducci Jr.