Verificação e otimização de atraso durante a síntese física de circuitos integrados CMOS
Autor(a) principal: | |
---|---|
Data de Publicação: | 2005 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da UFRGS |
Texto Completo: | http://hdl.handle.net/10183/17785 |
Resumo: | Este trabalho propõe um método de otimização de atraso, através de dimensionamento de transistores, o qual faz parte de um fluxo automático de síntese física de circuitos combinacionais em tecnologia CMOS estática. Este fluxo de síntese física é independente de biblioteca de células, sendo capaz de realizar, sob demanda, a geração do leiaute a partir de um netlist de transistores. O método de otimização proposto faz com que este fluxo de síntese física seja capaz de realizar a geração do leiaute orientado pelas restrições de atraso, garantindo a operação do circuito na freqüência especificada pelo projetista. Este trabalho inclui também uma pesquisa sobre os principais métodos de verificação e otimização de atraso, principalmente aqueles que podem ser aplicados quando a etapa de síntese física chega ao nível de transistores. Um método de análise de timing funcional é utilizado para identificar o atraso e o caminho críticos e, com isso, guiar o método de otimização proposto. Desta forma, não existe desperdício de esforço e desempenho para reduzir o atraso de caminhos que não contribuem efetivamente para determinar a freqüência do circuito. O método proposto neste trabalho explora as possibilidades oferecidas por ser independente de biblioteca de células, mas impõe restrições aos circuitos otimizados para reduzir o impacto do dimensionamento nas etapas de geração de leiaute. O desenvolvimento de um método incremental de seleção de caminhos críticos reduziu consideravelmente o tempo de processamento sem comprometer a qualidade dos resultados. Ainda, a realização de um método seletivo de dimensionamento de transistores, possibilitado pela adaptação de um modelo de atraso pino-a-pino, permitiu reduzir significativamente o acréscimo de área decorrente da otimização e aumentou a precisão das estimativas de atraso. |
id |
URGS_90b8de884b8145fa2544e8d5f69b829a |
---|---|
oai_identifier_str |
oai:www.lume.ufrgs.br:10183/17785 |
network_acronym_str |
URGS |
network_name_str |
Biblioteca Digital de Teses e Dissertações da UFRGS |
repository_id_str |
1853 |
spelling |
Santos, Cristiano Lopes dosReis, Ricardo Augusto da LuzGuntzel, Jose Luis Almada2009-12-04T04:16:10Z2005http://hdl.handle.net/10183/17785000722117Este trabalho propõe um método de otimização de atraso, através de dimensionamento de transistores, o qual faz parte de um fluxo automático de síntese física de circuitos combinacionais em tecnologia CMOS estática. Este fluxo de síntese física é independente de biblioteca de células, sendo capaz de realizar, sob demanda, a geração do leiaute a partir de um netlist de transistores. O método de otimização proposto faz com que este fluxo de síntese física seja capaz de realizar a geração do leiaute orientado pelas restrições de atraso, garantindo a operação do circuito na freqüência especificada pelo projetista. Este trabalho inclui também uma pesquisa sobre os principais métodos de verificação e otimização de atraso, principalmente aqueles que podem ser aplicados quando a etapa de síntese física chega ao nível de transistores. Um método de análise de timing funcional é utilizado para identificar o atraso e o caminho críticos e, com isso, guiar o método de otimização proposto. Desta forma, não existe desperdício de esforço e desempenho para reduzir o atraso de caminhos que não contribuem efetivamente para determinar a freqüência do circuito. O método proposto neste trabalho explora as possibilidades oferecidas por ser independente de biblioteca de células, mas impõe restrições aos circuitos otimizados para reduzir o impacto do dimensionamento nas etapas de geração de leiaute. O desenvolvimento de um método incremental de seleção de caminhos críticos reduziu consideravelmente o tempo de processamento sem comprometer a qualidade dos resultados. Ainda, a realização de um método seletivo de dimensionamento de transistores, possibilitado pela adaptação de um modelo de atraso pino-a-pino, permitiu reduzir significativamente o acréscimo de área decorrente da otimização e aumentou a precisão das estimativas de atraso.This work proposes a transistor sizing-based delay optimization method especially tailored for an automatic physical synthesis flow of static CMOS combinational circuits. Such physical synthesis flow is a library-free approach which is able to perform the layout generation using a transistor netlist level description of the circuit. The integration of the proposed optimization method to the automatic physical synthesis renders possible a timing-driven layout generation flow. This work also includes a research of the major delay verification and optimization methods, mainly those that can be applied during the physical synthesis step at the transistor level. A functional timing analysis method is used to identify the critical delay and the critical paths and thus drive the proposed optimization method. Hence, there is no waste of effort to optimize paths which are not responsible for the delay of the circuit. The optimization method proposed in this work explores the advantages provided by a library-free synthesis flow and imposes restrictions to the optimized circuits in order to minimize the impact of the transistor sizing in the layout generation steps. The development of a method for incremental critical path selection reduces the CPU time consumed by the delay optimization step. A pin-to-pin gate delay model was adapted to perform a selective transistor sizing, resulting in a significantly reduction of the area overhead.application/pdfporMicroeletrônicaCmosCritical delay optimizationTransistor sizingTiming analysisTiming-driven physical synthesisLayout generationVerificação e otimização de atraso durante a síntese física de circuitos integrados CMOSTiming verification and optimization in physical synthesis of cmos integrated circuits info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPrograma de Pós-Graduação em ComputaçãoPorto Alegre, BR-RS2005mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000722117.pdf000722117.pdfTexto completoapplication/pdf974381http://www.lume.ufrgs.br/bitstream/10183/17785/1/000722117.pdf655af6e8e1b588c665a1e1c752a70021MD51TEXT000722117.pdf.txt000722117.pdf.txtExtracted Texttext/plain223661http://www.lume.ufrgs.br/bitstream/10183/17785/2/000722117.pdf.txt02283e05d0808e18e6fbc42ae0775ccbMD52THUMBNAIL000722117.pdf.jpg000722117.pdf.jpgGenerated Thumbnailimage/jpeg1085http://www.lume.ufrgs.br/bitstream/10183/17785/3/000722117.pdf.jpgc9f1ff2a8203722fa51be7c611f2dd56MD5310183/177852018-10-18 07:30:06.421oai:www.lume.ufrgs.br:10183/17785Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532018-10-18T10:30:06Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false |
dc.title.pt_BR.fl_str_mv |
Verificação e otimização de atraso durante a síntese física de circuitos integrados CMOS |
dc.title.alternative.en.fl_str_mv |
Timing verification and optimization in physical synthesis of cmos integrated circuits |
title |
Verificação e otimização de atraso durante a síntese física de circuitos integrados CMOS |
spellingShingle |
Verificação e otimização de atraso durante a síntese física de circuitos integrados CMOS Santos, Cristiano Lopes dos Microeletrônica Cmos Critical delay optimization Transistor sizing Timing analysis Timing-driven physical synthesis Layout generation |
title_short |
Verificação e otimização de atraso durante a síntese física de circuitos integrados CMOS |
title_full |
Verificação e otimização de atraso durante a síntese física de circuitos integrados CMOS |
title_fullStr |
Verificação e otimização de atraso durante a síntese física de circuitos integrados CMOS |
title_full_unstemmed |
Verificação e otimização de atraso durante a síntese física de circuitos integrados CMOS |
title_sort |
Verificação e otimização de atraso durante a síntese física de circuitos integrados CMOS |
author |
Santos, Cristiano Lopes dos |
author_facet |
Santos, Cristiano Lopes dos |
author_role |
author |
dc.contributor.author.fl_str_mv |
Santos, Cristiano Lopes dos |
dc.contributor.advisor1.fl_str_mv |
Reis, Ricardo Augusto da Luz |
dc.contributor.advisor-co1.fl_str_mv |
Guntzel, Jose Luis Almada |
contributor_str_mv |
Reis, Ricardo Augusto da Luz Guntzel, Jose Luis Almada |
dc.subject.por.fl_str_mv |
Microeletrônica Cmos |
topic |
Microeletrônica Cmos Critical delay optimization Transistor sizing Timing analysis Timing-driven physical synthesis Layout generation |
dc.subject.eng.fl_str_mv |
Critical delay optimization Transistor sizing Timing analysis Timing-driven physical synthesis Layout generation |
description |
Este trabalho propõe um método de otimização de atraso, através de dimensionamento de transistores, o qual faz parte de um fluxo automático de síntese física de circuitos combinacionais em tecnologia CMOS estática. Este fluxo de síntese física é independente de biblioteca de células, sendo capaz de realizar, sob demanda, a geração do leiaute a partir de um netlist de transistores. O método de otimização proposto faz com que este fluxo de síntese física seja capaz de realizar a geração do leiaute orientado pelas restrições de atraso, garantindo a operação do circuito na freqüência especificada pelo projetista. Este trabalho inclui também uma pesquisa sobre os principais métodos de verificação e otimização de atraso, principalmente aqueles que podem ser aplicados quando a etapa de síntese física chega ao nível de transistores. Um método de análise de timing funcional é utilizado para identificar o atraso e o caminho críticos e, com isso, guiar o método de otimização proposto. Desta forma, não existe desperdício de esforço e desempenho para reduzir o atraso de caminhos que não contribuem efetivamente para determinar a freqüência do circuito. O método proposto neste trabalho explora as possibilidades oferecidas por ser independente de biblioteca de células, mas impõe restrições aos circuitos otimizados para reduzir o impacto do dimensionamento nas etapas de geração de leiaute. O desenvolvimento de um método incremental de seleção de caminhos críticos reduziu consideravelmente o tempo de processamento sem comprometer a qualidade dos resultados. Ainda, a realização de um método seletivo de dimensionamento de transistores, possibilitado pela adaptação de um modelo de atraso pino-a-pino, permitiu reduzir significativamente o acréscimo de área decorrente da otimização e aumentou a precisão das estimativas de atraso. |
publishDate |
2005 |
dc.date.issued.fl_str_mv |
2005 |
dc.date.accessioned.fl_str_mv |
2009-12-04T04:16:10Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/10183/17785 |
dc.identifier.nrb.pt_BR.fl_str_mv |
000722117 |
url |
http://hdl.handle.net/10183/17785 |
identifier_str_mv |
000722117 |
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.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da UFRGS instname:Universidade Federal do Rio Grande do Sul (UFRGS) instacron:UFRGS |
instname_str |
Universidade Federal do Rio Grande do Sul (UFRGS) |
instacron_str |
UFRGS |
institution |
UFRGS |
reponame_str |
Biblioteca Digital de Teses e Dissertações da UFRGS |
collection |
Biblioteca Digital de Teses e Dissertações da UFRGS |
bitstream.url.fl_str_mv |
http://www.lume.ufrgs.br/bitstream/10183/17785/1/000722117.pdf http://www.lume.ufrgs.br/bitstream/10183/17785/2/000722117.pdf.txt http://www.lume.ufrgs.br/bitstream/10183/17785/3/000722117.pdf.jpg |
bitstream.checksum.fl_str_mv |
655af6e8e1b588c665a1e1c752a70021 02283e05d0808e18e6fbc42ae0775ccb c9f1ff2a8203722fa51be7c611f2dd56 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS) |
repository.mail.fl_str_mv |
lume@ufrgs.br||lume@ufrgs.br |
_version_ |
1810085160215904256 |