Este documento pretende introducir los conceptos básicos necesarios para la verificación de circuitos digitales descriptos en VHDL. Se asume que el lector ya conoce los conceptos básicos de VHDL descriptos en el curso de Técnicas Digitales I de la Universidad Tecnológica Nacional, Facultad Regional Buenos Aires, Departamento de Electrónica. Al momento de escribir este documento esto implica haber leído los apuntes R3GT1 (VHDL para circuitos combinacionales) y R3GT2 (VHDL para circuitos secuenciales). Cabe destacar que algunos de los conceptos incluidos en este documento podrían haber sido introducidos en clase, pero se tomó como referencia los apuntes antes mencionados.
Se asume que el lector está familiarizado con los lenguajes de programación de software. En particular con el lenguaje C. Dicho conocimiento se enseña en la materia Informática I, correlativa de Técnicas Digitales I.
Para realizar simulaciones es necesario el software adecuado. Existen muchas herramientas posibles, a modo de ejemplo se explica como utilizar una herramienta de software libre en Apéndice A