Changeset 100 for vis_dev/vis-2.3/models/transition/cex.v

Timestamp:

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

Author:

cecile

Message:

exemple transition with cex

File:

• vis_dev/vis-2.3/models/transition/cex.v (modified) (1 diff)

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