1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
/*
* fileio test of getc - copy to stdout
*/
/*
* ungetc test
* read and output a file but emit extra new line with ungetc
*/
`define EOF -1
`define NULL 0
`define MAX_LINE_LENGTH 1000
`define STDOUT 32'h8000_0001
module test1;
integer file;
reg [3:0] bin;
reg [31:0] dec, hex;
real real_time;
reg [8*`MAX_LINE_LENGTH-1:0] line; /* Line of text read from file */
integer r;
integer c;
integer d;
initial
begin : file_block
file = $fopen("infil.txt", "r");
if (file == `NULL) disable file_block;
begin : read_block
forever
begin
c = $fgetc(file);
if (c == `EOF) disable read_block;
d = $fgetc(file);
if (d == `EOF) disable read_block;
$fwrite(`STDOUT, "%c%c", c, d);
if (c == "\n")
begin
d = $ungetc(d, file);
end
end
end
$fclose(file);
end
endmodule // read_pattern
|
