Changeset 100 for vis_dev/vis-2.3/models

Timestamp:

Jul 18, 2012, 4:46:43 PM (12 years ago)

Author:

cecile

Message:

exemple transition with cex

Location:

vis_dev/vis-2.3/models/transition

Files:

• cex.ctl (modified) (1 diff)
• cex.v (modified) (1 diff)

vis_dev/vis-2.3/models/transition/cex.ctl

@@ -1 @@
-(((cex.state[2:0] = 7  * cex.s2 = 1 ) )  * S.state[1:0] = 0)  * 
-EX( S.state[1:0] = 1 ) ; 
+#cex.state[2:0] = 7  * cex.s2 = 1 * S.state[1:0] = 0 * EX(cex.state[2:0] = 2 *
+# S.state[1:0] = 1) ;
+
+#cex.s2 = 1 * EX(cex.s2 = 1 * EX(cex.s3 = 0 * S.state[1:0] = 0));
+#cex.s2 = 1 * EX(cex.s2 = 1 * EX(cex.s3 = 0 ));
+#cex.s2 = 1 * EX(cex.s2 = 1 * EX(cex.s3 = 1 ));
+#cex.s2 = 1 * EX(cex.s2 = 0 * EX(cex.s3 = 1 ));
+cex.state[2:0] = 7 * cex.s2 = 1 * S.state[1:0] = 0 * (EX(cex.state[2:0] = 2
+* cex.s2 = 0 * S.state[1:0] = 1 * EX(cex.s2 = 0)));
+ cex.s2 = 1 * S.state[1:0] = 0 * (EX( cex.s2 = 1 * S.state[1:0] = 0 * EX(S.state[1:0] = 0 * cex.s3 = 0 
+* EX(S.state[1:0] =  0 * EX(S.state[1:0] = 1)))));
+
+

vis_dev/vis-2.3/models/transition/cex.v

@@ -18 +18 @@
     state[2] = $ND(0,1);
     if(state == 3)
+        begin
       s2 = 0;
+          s3 = $ND(0,1);
+          s4 = $ND(0,1);
+        end
     else
+          begin
       s2 = 1;
-  s3 = $ND(0,1);
-  s4 = $ND(0,1);
+          s3 = 0;
+      s4 = 0;
+          end
   end