file = $fopen("file.txt", "r");. // Check if the file has been opened. if (file == 0) begin. $display ("ERROR: file.txt not opened");. $finish;.
確定! 回上一頁