blob: fbb831afa5ba7425b4ce7b2e11415e435cfefbe1 (
plain) (
blame)
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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
(*
Système Digital, cours de J.Vuillemin, 2013-2013
Alex AUVOLAT, ENS INFO 2013
Circuit Simulator, main file
*)
open Netlist_ast
let num_steps = ref (-1)
let step = ref 0
let read_input = function
| (s, TBit) -> Format.printf "%s (1 bit) : @?" s;
let k = ref (read_line()) in
while String.length !k < 1 do
Format.printf "Too short. Retry : ";
k := read_line();
done;
VBit ((!k).[0] = '1')
| (s, TBitArray(n)) -> Format.printf "%s (%d bits) : @?" s n;
let k = ref (read_line()) in
while String.length !k < 1 do
Format.printf "Too short. Retry : ";
k := read_line();
done;
let r = Array.make n false in
for i = 0 to n-1 do
r.(i) <- ((!k).[i] = '1')
done;
VBitArray(r)
let print_output = function
| (n, VBit (b)) ->
Format.printf "%s\t: %d@." n (if b then 1 else 0)
| (n, VBitArray (a)) ->
Format.printf "%s\t: " n;
for i = 0 to Array.length a - 1 do
Format.printf "%d" (if a.(i) then 1 else 0)
done;
Format.printf "@."
let loadrun filename =
let p = Netlist.read_file filename in
let machine = Machine.create p in
while !num_steps > !step || !num_steps == -1 do
step := !step + 1;
Format.printf "Step #%d@." !step;
Machine.read_inputs machine read_input;
Machine.step machine;
Machine.print_outputs machine print_output
done
let () =
try
Arg.parse
["-rom", Arg.String(Machine.load_rom), "Load one ROM file into the simulator (will be used by all ROM chips).";
"-n", Arg.Set_int num_steps, "Number of steps to simulate"]
loadrun
""
with
| Netlist.Parse_error s -> Format.eprintf "An error occurred: %s@." s; exit 2
| Machine.Error s -> Format.eprintf "An error occurred: %s@." s; exit 2
|
