ficheiro que o verilator não suporta