{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"institution":[{"name":"Universidad Nacional de La Plata"}],"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T08:14:44Z","timestamp":1648541684164},"reference-count":0,"publisher":"Universidad Nacional de La Plata","license":[{"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-sa\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>El incesante desarrollo tecnol\u00f3gico en la industria del silicio y la necesidad de cumplir con tiempos de mercado competitivos han llevado al desarrollo de nuevas t\u00e9cnicas de dise\u00f1o y verificaci\u00f3n funcional. En este trabajo de tesis se presentan diferentes aportes a la verificaci\u00f3n funcional moderna partiendo de casos de estudio reales y en donde se plantean diversos problemas a resolver. El trabajo se divide impl\u00edcitamente en dos partes: La primera, se enfoca en realizar aportes a la verificaci\u00f3n funcional proponiendo m\u00e9todos para generaci\u00f3n de entradas, chequeo de salidas y evaluaci\u00f3n de cobertura funcional en dise\u00f1os. En particular, se considera como caso de estudio la verificaci\u00f3n funcional de unidades aritm\u00e9ticas sustent\u00e1ndose en la utilizaci\u00f3n y desarrollo de los frameworks para verificaci\u00f3n funcional OVM y Teal and Truss. Del an\u00e1lisis y desarrollo se obtiene un conjunto de reglas para la generaci\u00f3n aleatoria de casos de prueba para la verificaci\u00f3n de unidades de punto \ufb02otante. Adem\u00e1s, se realiza la evaluaci\u00f3n de, no solo el comportamiento de los frameworks propuestos, sino tambi\u00e9n se analizan par\u00e1metros de calidad como su usabilidad, extensibilidad y nivel de abstracci\u00f3n. Como aporte se describen los pasos para dise\u00f1ar e implementar monitores de verificaci\u00f3n aplicables a diversos dominios. El monitor presentado, no s\u00f3lo realiza el chequeo de resultados comparados con modelos de referencia, sino que adem\u00e1s realiza el an\u00e1lisis de cobertura considerando los casos ejercitados. En la evaluaci\u00f3n de los frameworks se verifican dos dise\u00f1os diferentes de unidades aritm\u00e9ticas donde al menos se detectan dos errores en casos no considerados por parte del dise\u00f1ador. La segunda parte del trabajo propone un nuevo enfoque para la verificaci\u00f3n funcional. El enfoque propuesto parte del hecho que las pruebas orientadas a la verificaci\u00f3n deben realizarse indefectiblemente en todo proyecto y propone preparar a los entornos de verificaci\u00f3n de manera tal que sus resultados sean de utilidad para el dise\u00f1ador. Como caso de estudio se presenta la verificaci\u00f3n de un modelo digital de un convertidor de potencia para emulaci\u00f3n HIL (Hardware in the Loop). En particular, se hace \u00e9nfasis en la aceleraci\u00f3n obtenida al utilizar las t\u00e9cnicas de HIL en la verificaci\u00f3n de dise\u00f1os anal\u00f3gicos-digitales. Continuando con la l\u00ednea de aritm\u00e9tica presentada en la primera secci\u00f3n, primero se compara el comportamiento de un modelo que utiliza punto fijo para la representaci\u00f3n de variables de estado con otro que utiliza representaci\u00f3n en punto flotante. La evaluaci\u00f3n se realiza considerando diversos escenarios representativos y reales donde se aplicar\u00eda el convertidor. Luego de comprobar la funcionalidad del convertidor utilizando t\u00e9cnicas descritas en la primer parte de la tesis, se utilizan los resultados recopilados para el an\u00e1lisis de resoluci\u00f3n de dos variables de estados en el modelo de convertidor de punto fijo. La motivaci\u00f3n principal de este an\u00e1lisis es que partiendo de resoluciones \u00b4optimas es posible obtener modelos que minimizan el \u00b4\u00e1rea ocupada en el dise\u00f1o final y la m\u00e1xima velocidad de reloj del circuito. A partir de los resultados obtenidos, el dise\u00f1ador puede apreciar que el aumento de resoluci\u00f3n a partir de cierto umbral solo incrementa el \u00e1rea utilizada y reduce la frecuencia de reloj sin obtener mejoras significativas en la precisi\u00f3n. Para el caso de estudio evaluado, es posible apreciar que existe un peque\u00f1o intervalo de resoluci\u00f3n cr\u00edtico de las variables de estado donde los errores se reducen dr\u00e1sticamente a cero, sin reducci\u00f3n de la performance o aumentar el consumo de \u00e1rea. Si bien en este trabajo, los resultados completos de las pruebas se presentan en un ap\u00e9ndice, el enfoque propuesto resume un gran volumen de informaci\u00f3n en gr\u00e1ficas de r\u00e1pida interpretaci\u00f3n por parte del dise\u00f1ador.<\/jats:p>","DOI":"10.35537\/10915\/49326","type":"dissertation","created":{"date-parts":[[2019,8,20]],"date-time":"2019-08-20T16:36:59Z","timestamp":1566319019000},"approved":{"date-parts":[[2015,9,29]]},"source":"Crossref","is-referenced-by-count":0,"title":["Contribuciones a la verificaci\u00f3n funcional moderna"],"prefix":"10.35537","author":[{"sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oscar Enrique","family":"Go\u00f1i","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10308","container-title":[],"original-title":[],"deposited":{"date-parts":[[2019,8,20]],"date-time":"2019-08-20T16:37:00Z","timestamp":1566319020000},"score":1,"degree":["Doctor en Ciencias Inform\u00e1ticas"],"resource":{"primary":{"URL":"http:\/\/sedici.unlp.edu.ar\/handle\/10915\/49326"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.35537\/10915\/49326","relation":{},"subject":[]}}