source:
cegar_dev/cegar/concrete_model/concret_main.v
Last change on this file was 4, checked in by , 13 years ago | |
---|---|
File size: 274 bytes |
Rev | Line | |
---|---|---|
[4] | 1 | /* ----- Symbolic variables ----- */ |
2 | //typedef enum {S0, S1, S2, S3} MState; | |
3 | ||
4 | /* ----- Main Module ----- */ | |
5 | ||
6 | module main(clk); | |
7 | ||
8 | input clk; | |
9 | input i1; | |
10 | output o1, o2; | |
11 | output r_i1; | |
12 | ||
13 | machine_concret machine_concret1(clk, i1, o1, o2, r_i1); | |
14 | ||
15 | endmodule | |
16 | ||
17 | `include machine_concret.v |
Note: See TracBrowser
for help on using the repository browser.