source: cegar_dev/cegar/abstract_model/main_abstract.v @ 80

Last change on this file since 80 was 4, checked in by syed, 14 years ago

input files added

File size: 188 bytes
Line 
1
2module main_Abs(clk);
3
4input clk;
5input i1;
6output o1;
7output o2;
8output r_i1;
9
10machine_concret1_Abs1 machine_concret1_a1(clk,i1,o1,o2,r_i1);
11
12
13endmodule
14`include machine_concret1_Abs1.v
Note: See TracBrowser for help on using the repository browser.