Towards automated analog design verification: a case study on the design, layout and automated verification of an op-amp in a 12nm FinFET technology using script-based, EDA tool-agnostic PVT analysis
The verification of analog circuits at advanced technology nodes poses significant challenges due to Process, Voltage, and Temperature (PVT) variations, LayoutDependent Effects (LDEs), and parasitics. Traditional manual verification is timeconsuming, error-prone, and often insufficient for robust pe...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis de maestría |
| Fecha de publicación: | 2025 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/452523 |
| Acceso en línea: | https://hdl.handle.net/2117/452523 |
| Access Level: | acceso abierto |
| Palabra clave: | Analog integrated circuits Integrated circuits--Verification Electronic circuit design Analog design FinFETs Automation Verification PVT corners Circuits integrats analògics Circuits integrats--Verificació Circuits electrònics--Disseny i construcció Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats |
| id |
ES_bff8ca859f65e6dcf5dbd64c69dbe4ee |
|---|---|
| oai_identifier_str |
oai:upcommons.upc.edu:2117/452523 |
| network_acronym_str |
ES |
| network_name_str |
España |
| repository_id_str |
|
| dc.title.none.fl_str_mv |
Towards automated analog design verification: a case study on the design, layout and automated verification of an op-amp in a 12nm FinFET technology using script-based, EDA tool-agnostic PVT analysis Towards Automated Analog Design Verification: A Case Study on the Design, Layout and Automated Verification of an op-amp in a 12nm FinFET technology using Script-Based, EDA Tool-Agnostic PVT Analysis |
| title |
Towards automated analog design verification: a case study on the design, layout and automated verification of an op-amp in a 12nm FinFET technology using script-based, EDA tool-agnostic PVT analysis |
| spellingShingle |
Towards automated analog design verification: a case study on the design, layout and automated verification of an op-amp in a 12nm FinFET technology using script-based, EDA tool-agnostic PVT analysis Pastor Amat, Mireia Analog integrated circuits Integrated circuits--Verification Electronic circuit design Analog design FinFETs Automation Verification PVT corners Circuits integrats analògics Circuits integrats--Verificació Circuits electrònics--Disseny i construcció Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats |
| title_short |
Towards automated analog design verification: a case study on the design, layout and automated verification of an op-amp in a 12nm FinFET technology using script-based, EDA tool-agnostic PVT analysis |
| title_full |
Towards automated analog design verification: a case study on the design, layout and automated verification of an op-amp in a 12nm FinFET technology using script-based, EDA tool-agnostic PVT analysis |
| title_fullStr |
Towards automated analog design verification: a case study on the design, layout and automated verification of an op-amp in a 12nm FinFET technology using script-based, EDA tool-agnostic PVT analysis |
| title_full_unstemmed |
Towards automated analog design verification: a case study on the design, layout and automated verification of an op-amp in a 12nm FinFET technology using script-based, EDA tool-agnostic PVT analysis |
| title_sort |
Towards automated analog design verification: a case study on the design, layout and automated verification of an op-amp in a 12nm FinFET technology using script-based, EDA tool-agnostic PVT analysis |
| dc.creator.none.fl_str_mv |
Pastor Amat, Mireia |
| author |
Pastor Amat, Mireia |
| author_facet |
Pastor Amat, Mireia |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
Gascon Fora, David Guerra Gómez, Ivick |
| dc.subject.none.fl_str_mv |
Analog integrated circuits Integrated circuits--Verification Electronic circuit design Analog design FinFETs Automation Verification PVT corners Circuits integrats analògics Circuits integrats--Verificació Circuits electrònics--Disseny i construcció Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats |
| topic |
Analog integrated circuits Integrated circuits--Verification Electronic circuit design Analog design FinFETs Automation Verification PVT corners Circuits integrats analògics Circuits integrats--Verificació Circuits electrònics--Disseny i construcció Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats |
| description |
The verification of analog circuits at advanced technology nodes poses significant challenges due to Process, Voltage, and Temperature (PVT) variations, LayoutDependent Effects (LDEs), and parasitics. Traditional manual verification is timeconsuming, error-prone, and often insufficient for robust performance assessment. This thesis presents a script-based, Electronic Design Automation (EDA) toolagnostic framework for automated PVT verification of analog circuits, demonstrated on a two-stage operational amplifier implemented in 12 nm FinFET technology. The amplifier was designed and laid out to meet its basic specifications, serving as a practical learning vehicle rather than an optimized tape-out-ready design. The framework integrates post-layout parasitic extraction, deterministic corner sweeps, and automated performance reporting, while allowing design specifications to be provided as script inputs for flexible and repeatable checks. The results highlight the impact of parasitics and layout-induced variations, while offering a flexible foundation for further automation and adaptation to other analog designs. This work contributes a practical, modular approach to improving analog verification efficiency, accuracy, and reproducibility in modern nanometer-scale technologies. |
| publishDate |
2025 |
| dc.date.none.fl_str_mv |
2025 2025-09-09 2026 2026-02-03 |
| dc.type.none.fl_str_mv |
master thesis http://purl.org/coar/resource_type/c_bdcc NA http://purl.org/coar/version/c_be7fb7dd8ff6fe43 |
| dc.type.openaire.fl_str_mv |
info:eu-repo/semantics/masterThesis |
| format |
masterThesis |
| dc.identifier.none.fl_str_mv |
https://hdl.handle.net/2117/452523 |
| url |
https://hdl.handle.net/2117/452523 |
| 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.publisher.none.fl_str_mv |
Universitat Politècnica de Catalunya |
| publisher.none.fl_str_mv |
Universitat Politècnica de Catalunya |
| 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_ |
1869418437467439104 |
| spelling |
Towards automated analog design verification: a case study on the design, layout and automated verification of an op-amp in a 12nm FinFET technology using script-based, EDA tool-agnostic PVT analysisTowards Automated Analog Design Verification: A Case Study on the Design, Layout and Automated Verification of an op-amp in a 12nm FinFET technology using Script-Based, EDA Tool-Agnostic PVT AnalysisPastor Amat, MireiaAnalog integrated circuitsIntegrated circuits--VerificationElectronic circuit designAnalog designFinFETsAutomationVerificationPVT cornersCircuits integrats analògicsCircuits integrats--VerificacióCircuits electrònics--Disseny i construccióÀrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integratsThe verification of analog circuits at advanced technology nodes poses significant challenges due to Process, Voltage, and Temperature (PVT) variations, LayoutDependent Effects (LDEs), and parasitics. Traditional manual verification is timeconsuming, error-prone, and often insufficient for robust performance assessment. This thesis presents a script-based, Electronic Design Automation (EDA) toolagnostic framework for automated PVT verification of analog circuits, demonstrated on a two-stage operational amplifier implemented in 12 nm FinFET technology. The amplifier was designed and laid out to meet its basic specifications, serving as a practical learning vehicle rather than an optimized tape-out-ready design. The framework integrates post-layout parasitic extraction, deterministic corner sweeps, and automated performance reporting, while allowing design specifications to be provided as script inputs for flexible and repeatable checks. The results highlight the impact of parasitics and layout-induced variations, while offering a flexible foundation for further automation and adaptation to other analog designs. This work contributes a practical, modular approach to improving analog verification efficiency, accuracy, and reproducibility in modern nanometer-scale technologies.La verificació de circuits analògics en nodes tecnològics avançats presenta reptes importants degut a les variacions de Procés, Tesió i Temperatura (PVT), així com als Efectes Depenents del Layout (LDEs) i als parasitismes. La verificació manual és costosa i propensa a errors, especialment quan es vol garantir un rendiment robust. Aquesta tesi proposa un entorn automatitzat basat en scripts i agnòstic a l’eina de Disseny Electrònic Automatitzat (EDA) per a la verificació PVT de circuits analògics, aplicat a un amplificador operacional de dues etapes en tecnologia FinFET de 12nm. El disseny i el layout de l’amplificador van servir com a eina pràctica d’aprenentatge per assegurar que es complissin les especificacions bàsiques, més que com un disseny optimitzat per a fabricació. L’entorn integra l’extracció de parasitismes post-layout, barrats deterministes de condicions PVT i informes automàtics de rendiment, permetent al mateix temps que les especificacions de disseny es proporcionin com a entrades d’un script per comprovacions flexibles i repetibles. Els resultats mostren l’impacte dels parasitismes i de les variacions induïdes pel layout, alhora que ofereixen una base flexible per a futures automatitzacions i per adaptar el flux a altres dissenys analògics.La verificación de circuitos analógicos en nodos tecnológicos avanzados presenta desafíos importantes debido a variaciones de Proceso, Tensión y Temperatura (PVT), Efectos Dependientes del Layout (LDEs) y parasitismos. La verificación manual tradicional es lenta, propensa a errores y a menudo insuficiente para una evaluación robusta del desempeño. Esta tesis presenta un entorno automatizado basado en scripts y agnóstico a herramientas de Diseño Electrónico Automatizado (EDA) para la verificación PVT de circuitos analógicos, demostrado en un amplificador operacional de dos etapas implementado en tecnología FinFET de 12nm. El amplificador fue diseñado y dispuesto en layout para cumplir con sus especificaciones básicas, sirviendo como herramienta de aprendizaje práctico más que como un diseño optimizado listo para fabricación. El entorno integra extracción de parasitismos post-layout, barridos deterministas de esquinas PVT y generación automática de reportes de rendimiento, permitiendo al mismo tiempo que las especificaciones de diseño se proporcionen como entradas de script para una verificación flexible y repetible. Los resultados destacan el impacto de los parasitismos y las variaciones inducidas por el layout, al tiempo que ofrecen una base flexible para futuras automatizaciones y adaptación a otros diseños analógicos. Este trabajo contribuye con un enfoque práctico y modular para mejorar la eficiencia, precisión y reproducibilidad de la verificación analógica en tecnologías nanométricas modernas.Universitat Politècnica de CatalunyaGascon Fora, DavidGuerra Gómez, Ivick20252025-09-0920262026-02-03master thesishttp://purl.org/coar/resource_type/c_bdccNAhttp://purl.org/coar/version/c_be7fb7dd8ff6fe43info:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/2117/452523reponame: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/4525232026-05-27T15:37:01Z |
| score |
15,81155 |