El banco de pruebas es un fichero llamado "negador_tb.vhd" que contiene el siguiente código: