Síntese automática de controladores assíncronos modo rajada estendida com relógio local
Autor(a) principal: | |
---|---|
Data de Publicação: | 2013 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações do ITA |
Texto Completo: | http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2859 |
Resumo: | Controladores baseados em Máquinas de Estados Finitos (MEF) são muito empregadas para projetos de unidades de controle. Porém devido aos requisitos relacionados aos sistemas assíncronos, como necessidade de tratamento de hazards e corridas críticas, sistemas do paradigma síncrono são mais utilizados. Nesta tese, uma metodologia de projeto para controladores com relógio local é proposta. O método de relógio local reduz os requisitos da lógica assíncrona e a viabiliza para síntese em dispositivos lógicos programáveis. Este método é caracterizado pelas maiores vantagens de ambos os paradigmas, síncrono e assíncrono. A principal vantagem de um controlador síncrono é sua robustez contra hazards e corridas, porém seu maior problema é a energia gasta na geração de um sinal de relógio periódico e também energia perdida em bordas não utilizadas. Neste estilo de projeto, uma função de relógio local é gerada, assincronamente, somente quando uma variável de entrada ativar uma mudança de estado. É proposta uma ferramenta de síntese automática, chamada Sicarelo (Síntese Automática de Controladores Assíncronos de Relógio Local), que sintetiza controladores BM (Modo Rajada) e XBM (Modo Rajada Estendido) de forma otimizada. O método apresentado soluciona os conflitos de forma eficiente utilizando Algoritmo Genético, conforme apresentado nesta dissertação. |
id |
ITA_0ffe97ca30afcf80fb8584a905373b2f |
---|---|
oai_identifier_str |
oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:2859 |
network_acronym_str |
ITA |
network_name_str |
Biblioteca Digital de Teses e Dissertações do ITA |
spelling |
Síntese automática de controladores assíncronos modo rajada estendida com relógio localControladoresCircuitos assíncronosCircuitos lógicosMicroeletrônicaEngenharia eletrônicaControladores baseados em Máquinas de Estados Finitos (MEF) são muito empregadas para projetos de unidades de controle. Porém devido aos requisitos relacionados aos sistemas assíncronos, como necessidade de tratamento de hazards e corridas críticas, sistemas do paradigma síncrono são mais utilizados. Nesta tese, uma metodologia de projeto para controladores com relógio local é proposta. O método de relógio local reduz os requisitos da lógica assíncrona e a viabiliza para síntese em dispositivos lógicos programáveis. Este método é caracterizado pelas maiores vantagens de ambos os paradigmas, síncrono e assíncrono. A principal vantagem de um controlador síncrono é sua robustez contra hazards e corridas, porém seu maior problema é a energia gasta na geração de um sinal de relógio periódico e também energia perdida em bordas não utilizadas. Neste estilo de projeto, uma função de relógio local é gerada, assincronamente, somente quando uma variável de entrada ativar uma mudança de estado. É proposta uma ferramenta de síntese automática, chamada Sicarelo (Síntese Automática de Controladores Assíncronos de Relógio Local), que sintetiza controladores BM (Modo Rajada) e XBM (Modo Rajada Estendido) de forma otimizada. O método apresentado soluciona os conflitos de forma eficiente utilizando Algoritmo Genético, conforme apresentado nesta dissertação.Instituto Tecnológico de AeronáuticaDuarte Lopes de OliveiraDiego Penteado Nunes Pinto Bompean2013-12-18info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2859reponame:Biblioteca Digital de Teses e Dissertações do ITAinstname:Instituto Tecnológico de Aeronáuticainstacron:ITAporinfo:eu-repo/semantics/openAccessapplication/pdf2019-02-02T14:04:59Zoai:agregador.ibict.br.BDTD_ITA:oai:ita.br:2859http://oai.bdtd.ibict.br/requestopendoar:null2020-05-28 19:40:13.569Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáuticatrue |
dc.title.none.fl_str_mv |
Síntese automática de controladores assíncronos modo rajada estendida com relógio local |
title |
Síntese automática de controladores assíncronos modo rajada estendida com relógio local |
spellingShingle |
Síntese automática de controladores assíncronos modo rajada estendida com relógio local Diego Penteado Nunes Pinto Bompean Controladores Circuitos assíncronos Circuitos lógicos Microeletrônica Engenharia eletrônica |
title_short |
Síntese automática de controladores assíncronos modo rajada estendida com relógio local |
title_full |
Síntese automática de controladores assíncronos modo rajada estendida com relógio local |
title_fullStr |
Síntese automática de controladores assíncronos modo rajada estendida com relógio local |
title_full_unstemmed |
Síntese automática de controladores assíncronos modo rajada estendida com relógio local |
title_sort |
Síntese automática de controladores assíncronos modo rajada estendida com relógio local |
author |
Diego Penteado Nunes Pinto Bompean |
author_facet |
Diego Penteado Nunes Pinto Bompean |
author_role |
author |
dc.contributor.none.fl_str_mv |
Duarte Lopes de Oliveira |
dc.contributor.author.fl_str_mv |
Diego Penteado Nunes Pinto Bompean |
dc.subject.por.fl_str_mv |
Controladores Circuitos assíncronos Circuitos lógicos Microeletrônica Engenharia eletrônica |
topic |
Controladores Circuitos assíncronos Circuitos lógicos Microeletrônica Engenharia eletrônica |
dc.description.none.fl_txt_mv |
Controladores baseados em Máquinas de Estados Finitos (MEF) são muito empregadas para projetos de unidades de controle. Porém devido aos requisitos relacionados aos sistemas assíncronos, como necessidade de tratamento de hazards e corridas críticas, sistemas do paradigma síncrono são mais utilizados. Nesta tese, uma metodologia de projeto para controladores com relógio local é proposta. O método de relógio local reduz os requisitos da lógica assíncrona e a viabiliza para síntese em dispositivos lógicos programáveis. Este método é caracterizado pelas maiores vantagens de ambos os paradigmas, síncrono e assíncrono. A principal vantagem de um controlador síncrono é sua robustez contra hazards e corridas, porém seu maior problema é a energia gasta na geração de um sinal de relógio periódico e também energia perdida em bordas não utilizadas. Neste estilo de projeto, uma função de relógio local é gerada, assincronamente, somente quando uma variável de entrada ativar uma mudança de estado. É proposta uma ferramenta de síntese automática, chamada Sicarelo (Síntese Automática de Controladores Assíncronos de Relógio Local), que sintetiza controladores BM (Modo Rajada) e XBM (Modo Rajada Estendido) de forma otimizada. O método apresentado soluciona os conflitos de forma eficiente utilizando Algoritmo Genético, conforme apresentado nesta dissertação. |
description |
Controladores baseados em Máquinas de Estados Finitos (MEF) são muito empregadas para projetos de unidades de controle. Porém devido aos requisitos relacionados aos sistemas assíncronos, como necessidade de tratamento de hazards e corridas críticas, sistemas do paradigma síncrono são mais utilizados. Nesta tese, uma metodologia de projeto para controladores com relógio local é proposta. O método de relógio local reduz os requisitos da lógica assíncrona e a viabiliza para síntese em dispositivos lógicos programáveis. Este método é caracterizado pelas maiores vantagens de ambos os paradigmas, síncrono e assíncrono. A principal vantagem de um controlador síncrono é sua robustez contra hazards e corridas, porém seu maior problema é a energia gasta na geração de um sinal de relógio periódico e também energia perdida em bordas não utilizadas. Neste estilo de projeto, uma função de relógio local é gerada, assincronamente, somente quando uma variável de entrada ativar uma mudança de estado. É proposta uma ferramenta de síntese automática, chamada Sicarelo (Síntese Automática de Controladores Assíncronos de Relógio Local), que sintetiza controladores BM (Modo Rajada) e XBM (Modo Rajada Estendido) de forma otimizada. O método apresentado soluciona os conflitos de forma eficiente utilizando Algoritmo Genético, conforme apresentado nesta dissertação. |
publishDate |
2013 |
dc.date.none.fl_str_mv |
2013-12-18 |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/masterThesis |
status_str |
publishedVersion |
format |
masterThesis |
dc.identifier.uri.fl_str_mv |
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2859 |
url |
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2859 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Instituto Tecnológico de Aeronáutica |
publisher.none.fl_str_mv |
Instituto Tecnológico de Aeronáutica |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações do ITA instname:Instituto Tecnológico de Aeronáutica instacron:ITA |
reponame_str |
Biblioteca Digital de Teses e Dissertações do ITA |
collection |
Biblioteca Digital de Teses e Dissertações do ITA |
instname_str |
Instituto Tecnológico de Aeronáutica |
instacron_str |
ITA |
institution |
ITA |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáutica |
repository.mail.fl_str_mv |
|
subject_por_txtF_mv |
Controladores Circuitos assíncronos Circuitos lógicos Microeletrônica Engenharia eletrônica |
_version_ |
1706809291858509824 |