Repositorio Institucional de Documentos

@article{LópezAzcona:61115,
      author        = "López Azcona, Lucas and Navarro Tabernero, Denis and
                       Resano Ezcaray, Jesús Javier",
      title         = "{Generación automática de verificación en System
                       Verilog de un banco de registros VHDL}",
      year          = "2016",
}