Ignore:
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:
2 edited

Legend:

Unmodified
Added
Removed
  • vis_dev/vis-2.3/models/transition/cex.ctl

    r99 r100  
    1 (((cex.state[2:0] = 7  * cex.s2 = 1 ) )  * S.state[1:0] = 0)  *
    2 EX( S.state[1:0] = 1 ) ;
     1#cex.state[2:0] = 7  * cex.s2 = 1 * S.state[1:0] = 0 * EX(cex.state[2:0] = 2 *
     2# S.state[1:0] = 1) ;
     3
     4#cex.s2 = 1 * EX(cex.s2 = 1 * EX(cex.s3 = 0 * S.state[1:0] = 0));
     5#cex.s2 = 1 * EX(cex.s2 = 1 * EX(cex.s3 = 0 ));
     6#cex.s2 = 1 * EX(cex.s2 = 1 * EX(cex.s3 = 1 ));
     7#cex.s2 = 1 * EX(cex.s2 = 0 * EX(cex.s3 = 1 ));
     8cex.state[2:0] = 7 * cex.s2 = 1 * S.state[1:0] = 0 * (EX(cex.state[2:0] = 2
     9* cex.s2 = 0 * S.state[1:0] = 1 * EX(cex.s2 = 0)));
     10 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
     11* EX(S.state[1:0] =  0 * EX(S.state[1:0] = 1)))));
     12
     13
  • vis_dev/vis-2.3/models/transition/cex.v

    r99 r100  
    1818    state[2] = $ND(0,1);
    1919    if(state == 3)
     20        begin
    2021      s2 = 0;
     22          s3 = $ND(0,1);
     23          s4 = $ND(0,1);
     24        end
    2125    else
     26          begin
    2227      s2 = 1;
    23   s3 = $ND(0,1);
    24   s4 = $ND(0,1);
     28          s3 = 0;
     29      s4 = 0;
     30          end
    2531  end
    2632
Note: See TracChangeset for help on using the changeset viewer.