source: vis_dev/vis-2.3/models/transition/compostion.v @ 102

Last change on this file since 102 was 99, checked in by cecile, 12 years ago

test for cex

File size: 141 bytes
Line 
1module compo(ck,i,t);
2input ck;
3input i;
4input j;
5output t;
6simple S(ck,i,t);
7cex cex(ck,j);
8
9endmodule
10`include "modele.v"
11`include "cex.v"
Note: See TracBrowser for help on using the repository browser.