source: cegar_dev/cegar/concrete_model/concret_main.v @ 19

/* ----- Symbolic variables ----- */
//typedef enum {S0, S1, S2, S3} MState;

/* ----- Main Module ----- */

module main(clk);

input clk;
input i1;
output o1, o2;
output r_i1;

machine_concret machine_concret1(clk, i1, o1, o2, r_i1);

endmodule

`include machine_concret.v