lab_mc_test3.e

关于一个Motor Controller示例的E语言验证程序！

File: lab_mc_test3.e

<'

import lab_mc_env;

extend lab_mc_driver_u {

    keep soft mc_delay == 1;

    keep soft reset_delay == select {
        4: [20..399];
        6: [700..1000];
    };
    
    keep soft reset_delay == ((mc_speed_now == mc_target_speed and mc_target_speed >700) ? 0 : reset_delay);
    
    keep soft mc_target_speed == select { 
        1: [300..499];
        50: [500..999];
        50: [1000..2999];
        5: [3000..4999];
        1: [5000..8191];
    }; 
    
    keep soft mc_min_speed == select {
        1: [50..199];
        50: [200..299];
        50: [300..799];
        5: [800..2499];
        1: [2500..8191];
    };   
    
    keep mc_target_speed in [0..299] => mc_target_speed >= mc_min_speed;
    keep mc_target_speed in [300..499] => mc_min_speed in [50..199];
    keep mc_target_speed in [500..999] => mc_min_speed in [200..299];
    keep mc_target_speed in [1000..2999] => mc_min_speed in [300..799];
    keep mc_target_speed in [3000..4999] => mc_min_speed in [800..2499];
    keep mc_target_speed in [5000..8191] => mc_min_speed in [2500..8191];
            
    keep soft speed_temp == ((mc_target_speed >= 700) ? div_round_up(mc_target_speed, mc_min_speed) : ((mc_target_speed < 700 and mc_target_speed >= 320) ? 1 : mc_target_speed));    
   
  -- keep mc_target_speed in [500..999] => speed_temp == mc_target_speed ;
  -- keep mc_target_speed in [1000..2999] => speed_temp == div_round_up(mc_target_speed, mc_min_speed);
  -- keep mc_target_speed in [3000..4999] => speed_temp == (odd(mc_target_speed) ? (mc_target_speed - 1) / 10 : mc_target_speed / 10);    
   --keep mc_target_speed in [5000..8191] => speed_temp in [500..700];
      
   keep soft counter in [2000..5000];   
    
};

'>