Esta función es similar a "$display", la diferencia con ésta reside en el lugar donde se imprime el mensaje, en este caso se imprime en un fichero.