Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Verificación Formal de Sistemas Digitales"'
Publikováno v:
Instituto Tecnológico y de Estudios Superiores de Occidente
ITESO
Repositorio Institucional del ITESO
ITESO
Repositorio Institucional del ITESO
El presente trabajo contiene proyectos enfocados en el diseño de sistemas digitales utilizando principalmente herramientas utilizadas en la industria, tales como: OVM, UVM, SystemVerilog, ModelSim, QuestaSim y FPGAs. Los proyectos presentados a cont
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::1d4ee93c9635012133c60d04ce8e2250