{"id":"https://openalex.org/W2213783890","doi":"https://doi.org/10.35537/10915/49326","title":"Contribuciones a la verificaci\u00f3n funcional moderna","display_name":"Contribuciones a la verificaci\u00f3n funcional moderna","publication_year":2015,"publication_date":"2015-09-29","ids":{"openalex":"https://openalex.org/W2213783890","doi":"https://doi.org/10.35537/10915/49326","mag":"2213783890"},"language":"es","primary_location":{"id":"doi:10.35537/10915/49326","is_oa":true,"landing_page_url":"https://doi.org/10.35537/10915/49326","pdf_url":"http://sedici.unlp.edu.ar/bitstream/handle/10915/49326/Documento_completo.pdf?sequence=3","source":null,"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universidad Nacional de La Plata","raw_type":"dissertation"},"type":"dissertation","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://sedici.unlp.edu.ar/bitstream/handle/10915/49326/Documento_completo.pdf?sequence=3","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067147688","display_name":"Oscar Enrique Go\u00f1i","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Go\u00f1i, Oscar Enrique","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5067147688"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12495","display_name":"Electrostatic Discharge in Electronics","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.6717170476913452},{"id":"https://openalex.org/keywords/cartography","display_name":"Cartography","score":0.4025338590145111},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.3388460874557495},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.32472479343414307},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.22849979996681213}],"concepts":[{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.6717170476913452},{"id":"https://openalex.org/C58640448","wikidata":"https://www.wikidata.org/wiki/Q42515","display_name":"Cartography","level":1,"score":0.4025338590145111},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.3388460874557495},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.32472479343414307},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.22849979996681213}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.35537/10915/49326","is_oa":true,"landing_page_url":"https://doi.org/10.35537/10915/49326","pdf_url":"http://sedici.unlp.edu.ar/bitstream/handle/10915/49326/Documento_completo.pdf?sequence=3","source":null,"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universidad Nacional de La Plata","raw_type":"dissertation"},{"id":"pmh:oai:sedici.unlp.edu.ar:10915/49326","is_oa":true,"landing_page_url":"http://sedici.unlp.edu.ar/handle/10915/49326","pdf_url":null,"source":{"id":"https://openalex.org/S4306400803","display_name":"El Servicio de Difusi\u00f3n de la Creaci\u00f3n Intelectual (National University of La Plata)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I874386039","host_organization_name":"Universidad Nacional de La Plata","host_organization_lineage":["https://openalex.org/I874386039"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"reponame:SEDICI (UNLP)","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"pmh:oai:americanae.aecid.es:3130709","is_oa":true,"landing_page_url":"http://americanae.aecid.es/americanae/es/registros/registro.do?tipoRegistro=MTD&idBib=3130709","pdf_url":null,"source":{"id":"https://openalex.org/S4306400786","display_name":"Americanae (AECID Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"reponame:SEDICI (UNLP)","raw_type":"http://purl.org/coar/resource_type/c_db06"}],"best_oa_location":{"id":"doi:10.35537/10915/49326","is_oa":true,"landing_page_url":"https://doi.org/10.35537/10915/49326","pdf_url":"http://sedici.unlp.edu.ar/bitstream/handle/10915/49326/Documento_completo.pdf?sequence=3","source":null,"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universidad Nacional de La Plata","raw_type":"dissertation"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5799999833106995}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2213783890.pdf","grobid_xml":"https://content.openalex.org/works/W2213783890.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W582523446","https://openalex.org/W1242535020","https://openalex.org/W1490819086","https://openalex.org/W1515959435","https://openalex.org/W1565880154","https://openalex.org/W1593428110","https://openalex.org/W1797813716","https://openalex.org/W1968712009","https://openalex.org/W1975074139","https://openalex.org/W1984733309","https://openalex.org/W1986698883","https://openalex.org/W2012846673","https://openalex.org/W2020003150","https://openalex.org/W2023808162","https://openalex.org/W2025176141","https://openalex.org/W2042727501","https://openalex.org/W2060943953","https://openalex.org/W2064147556","https://openalex.org/W2068106852","https://openalex.org/W2082923943","https://openalex.org/W2102226158","https://openalex.org/W2113318028","https://openalex.org/W2122273272","https://openalex.org/W2125557699","https://openalex.org/W2126407606","https://openalex.org/W2129813991","https://openalex.org/W2138856440","https://openalex.org/W2139151574","https://openalex.org/W2139294617","https://openalex.org/W2142785890","https://openalex.org/W2157302418","https://openalex.org/W2167658196","https://openalex.org/W2169941994","https://openalex.org/W2172244159","https://openalex.org/W2177679859","https://openalex.org/W2288569779","https://openalex.org/W2493030359","https://openalex.org/W2537513796","https://openalex.org/W3202711792","https://openalex.org/W4210911803","https://openalex.org/W4236718534","https://openalex.org/W4240658294","https://openalex.org/W4245280958","https://openalex.org/W4251407605"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2935759653","https://openalex.org/W3105167352","https://openalex.org/W54078636","https://openalex.org/W2954470139","https://openalex.org/W1501425562","https://openalex.org/W2902782467","https://openalex.org/W3084825885","https://openalex.org/W2298861036"],"abstract_inverted_index":{"El":[0,60,198,267],"incesante":[1],"desarrollo":[2,22,114,129],"tecnol\u00f3gico":[3],"en":[4,52,65,72,93,110,246,283,335,345,358,386,414,436,465,512,558,569,581],"la":[5,10,41,76,103,111,137,145,155,226,264,278,312,336,346,353,359,375,407,415,419,470,504,513,548],"industria":[6],"del":[7,252,257,271,409,475,588],"silicio":[8],"y":[9,28,51,88,113,122,128,177,286,397,469,502],"necesidad":[11],"de":[12,16,23,26,34,46,48,83,86,90,101,106,115,134,140,142,147,149,162,171,179,192,206,211,219,228,236,292,294,301,308,314,318,321,343,348,355,367,377,379,405,418,429,431,434,439,441,447,453,473,479,490,494,506,518,529,532,535,547,554,564,579,583],"cumplir":[13],"con":[14,209,352,381],"tiempos":[15],"mercado":[17],"competitivos":[18],"han":[19],"llevado":[20],"al":[21,240,339],"nuevas":[24],"t\u00e9cnicas":[25,342,412],"dise\u00f1o":[27,467],"verificaci\u00f3n":[29,42,77,104,119,146,193,265,279,293,313,347],"funcional.":[30,266],"En":[31,95,225,330],"este":[32,448,559],"trabajo":[33,61,258],"tesis":[35],"se":[36,54,62,70,97,130,153,168,183,231,242,310,332,363,391,400,421,540,567],"presentan":[37,568],"diferentes":[38,235],"aportes":[39,74],"a":[40,58,75,195,277,289,492,543],"funcional":[43,78,92,105,120],"moderna":[44],"partiendo":[45,452],"casos":[47,141,223,247],"estudio":[49,102,309,519],"reales":[50,398],"donde":[53,239,399,537],"plantean":[55],"diversos":[56,196,394],"problemas":[57],"resolver.":[59],"divide":[63],"impl\u00edcitamente":[64],"dos":[66,233,244,432],"partes:":[67],"La":[68,254,389,444],"primera,":[69],"enfoca":[71],"realizar":[73],"proponiendo":[79],"m\u00e9todos":[80],"para":[81,118,136,144,187,263,303,323,374,426],"generaci\u00f3n":[82,138],"entradas,":[84],"chequeo":[85,205],"salidas":[87],"evaluaci\u00f3n":[89,156,227,390],"cobertura":[91,220],"dise\u00f1os.":[94],"particular,":[96,331],"considera":[98],"como":[99,173],"caso":[100,307,517],"unidades":[107,148,237],"aritm\u00e9ticas":[108,238],"sustent\u00e1ndose":[109],"utilizaci\u00f3n":[112],"los":[116,163,185,222,229,290,423,480,538,561],"frameworks":[117,164,230],"OVM":[121],"Teal":[123],"and":[124],"Truss.":[125],"Del":[126],"an\u00e1lisis":[127,218,428,449],"obtiene":[131],"un":[132,260,315,319,368,526,570,576],"conjunto":[133],"reglas":[135],"aleatoria":[139],"prueba":[143],"punto":[150,372,387,442],"\ufb02otante.":[151],"Adem\u00e1s,":[152],"realiza":[154,203,216,392],"de,":[157],"no":[158,201,248],"solo":[159,497],"el":[160,204,217,304,365,402,427,437,462,466,483,488,499,516,552,572],"comportamiento":[161,366],"propuestos,":[165],"sino":[166,213],"tambi\u00e9n":[167],"analizan":[169],"par\u00e1metros":[170],"calidad":[172],"su":[174],"usabilidad,":[175],"extensibilidad":[176],"nivel":[178],"abstracci\u00f3n.":[180],"Como":[181,306],"aporte":[182],"describen":[184],"pasos":[186],"dise\u00f1ar":[188],"e":[189],"implementar":[190],"monitores":[191],"aplicables":[194],"dominios.":[197],"monitor":[199],"presentado,":[200],"s\u00f3lo":[202],"resultados":[207,299,424,481,562],"comparados":[208],"modelos":[210,459],"referencia,":[212],"que":[214,273,297,370,383,451,460,487,524],"adem\u00e1s":[215],"considerando":[221,393],"ejercitados.":[224],"verifican":[232],"dise\u00f1os":[234,349],"menos":[241],"detectan":[243],"errores":[245,539],"considerados":[249],"por":[250,586],"parte":[251,256,270,417,587],"dise\u00f1ador.":[253,305,589],"segunda":[255],"propone":[259,287],"nuevo":[261],"enfoque":[262,268,573],"propuesto":[269,574],"hecho":[272],"las":[274,341,533,565],"pruebas":[275,566],"orientadas":[276],"deben":[280],"realizarse":[281],"indefectiblemente":[282],"todo":[284],"proyecto":[285],"preparar":[288],"entornos":[291],"manera":[295],"tal":[296],"sus":[298],"sean":[300],"utilidad":[302],"presenta":[311],"modelo":[316,369,438],"digital":[317],"convertidor":[320,410,440],"potencia":[322],"emulaci\u00f3n":[324],"HIL":[325,344],"(Hardware":[326],"in":[327],"the":[328],"Loop).":[329],"hace":[333],"\u00e9nfasis":[334],"aceleraci\u00f3n":[337],"obtenida":[338],"utilizar":[340],"anal\u00f3gicos-digitales.":[350],"Continuando":[351],"l\u00ednea":[354],"aritm\u00e9tica":[356],"presentada":[357],"primera":[360],"secci\u00f3n,":[361],"primero":[362],"compara":[364],"utiliza":[371,384],"fijo":[373],"representaci\u00f3n":[376,385],"variables":[378,433,534],"estado":[380,536],"otro":[382],"flotante.":[388],"escenarios":[395],"representativos":[396],"aplicar\u00eda":[401],"convertidor.":[403],"Luego":[404],"comprobar":[406],"funcionalidad":[408],"utilizando":[411],"descritas":[413],"primer":[416],"tesis,":[420],"utilizan":[422],"recopilados":[425],"resoluci\u00f3n":[430,491,530],"estados":[435],"fijo.":[443],"motivaci\u00f3n":[445],"principal":[446],"es":[450,456,521],"resoluciones":[454],"\u00b4optimas":[455],"posible":[457,522],"obtener":[458,509],"minimizan":[461],"\u00b4\u00e1rea":[463],"ocupada":[464],"final":[468],"m\u00e1xima":[471],"velocidad":[472],"reloj":[474,507],"circuito.":[476],"A":[477],"partir":[478,493],"obtenidos,":[482],"dise\u00f1ador":[484],"puede":[485],"apreciar":[486,523],"aumento":[489],"cierto":[495],"umbral":[496],"incrementa":[498],"\u00e1rea":[500],"utilizada":[501],"reduce":[503],"frecuencia":[505],"sin":[508,545],"mejoras":[510],"significativas":[511],"precisi\u00f3n.":[514],"Para":[515],"evaluado,":[520],"existe":[525],"peque\u00f1o":[527],"intervalo":[528],"cr\u00edtico":[531],"reducen":[541],"dr\u00e1sticamente":[542],"cero,":[544],"reducci\u00f3n":[546],"performance":[549],"o":[550],"aumentar":[551],"consumo":[553],"\u00e1rea.":[555],"Si":[556],"bien":[557],"trabajo,":[560],"completos":[563],"ap\u00e9ndice,":[571],"resume":[575],"gran":[577],"volumen":[578],"informaci\u00f3n":[580],"gr\u00e1ficas":[582],"r\u00e1pida":[584],"interpretaci\u00f3n":[585]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}