blob: 326a2bd5c053d28b38db4b9243a7db5afeeeb848 (
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
|
let simulate = ref false
let number_steps = ref (-1)
let sim_path = ref "./netlist_simulator.byte"
let dumb_down = ref false
let compile filename =
try
let p = Netlist.read_file filename in
let out_name = (Filename.chop_suffix filename ".net") ^ ".snet" in
let dumb_out_name = (Filename.chop_suffix filename ".net") ^ ".dumb" in
let out_opt_name = (Filename.chop_suffix filename ".net") ^ "_opt.snet" in
let dumb_opt_out_name = (Filename.chop_suffix filename ".net") ^ "_opt.dumb" in
let q, q_opt = ref p, ref p in
begin try
q := Scheduler.schedule p;
q_opt := Simplify.simplify p
with
| Scheduler.Combinational_cycle ->
Format.eprintf "The netlist has a combinatory cycle.@.";
exit 2;
end;
let out = open_out out_name in
Netlist_printer.print_program out !q;
close_out out;
let dumb_out = open_out dumb_out_name in
Netlist_dumb.print_program dumb_out !q;
close_out dumb_out;
let out_opt = open_out out_opt_name in
Netlist_printer.print_program out_opt !q_opt;
close_out out_opt;
let dumb_opt_out = open_out dumb_opt_out_name in
Netlist_dumb.print_program dumb_opt_out !q_opt;
close_out dumb_opt_out;
if !simulate then (
let simulator =
if !number_steps = -1 then
!sim_path
else
!sim_path ^ " -n " ^ (string_of_int !number_steps)
in
ignore (Unix.system (simulator^" "^(if !dumb_down then dumb_out_name else out_name)))
)
with
| Netlist.Parse_error s -> Format.eprintf "An error accurred: %s@." s; exit 2
let main () =
Arg.parse
["-s", Arg.Set simulate, "Launch the simulator";
"-sim", Arg.Set_string sim_path, "Path to the circuit simulator";
"-d", Arg.Set dumb_down, "Pass the dumbed-down netlist to the simulator (for the C simulator)";
"-n", Arg.Set_int number_steps, "Number of steps to simulate"]
compile
""
;;
main ()
|
