lab_mc_cover_2.e

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

File: lab_mc_cover.e

<'

extend lab_mc_monitor_u {
    
    -- record the first cycle input
    mc_input_ori: uint(bits: 26);
    
    --keep mc_input_ori[38:26] == mc_speed_now_ori;
    keep mc_input_ori[25:13] == mc_target_speed_ori; 
    keep mc_input_ori[12:0] == mc_min_speed_ori;    
    

    cover mc_reset_r_e is {
   
       item mc_pwme_dut using
          ignore = not(mc_pwme_dut == 1);
       item mc_reset_checker_c using
          ignore = not(mc_reset_checker_c == TRUE);
       cross mc_pwme_dut, mc_reset_checker_c using
          ignore = not(mc_pwme_dut == 1 and mc_reset_checker_c == TRUE);
    };
    
    cover mc_idle_e is {
       item mc_pwme_ori using
          ignore = not(mc_pwme_ori in [0,1]);
       item mc_input_ori using
          ignore = not(mc_input_ori[25:13] >= mc_input_ori[12:0]);       
       item mc_idle_checker_c using
          ignore = not(mc_idle_checker_c == TRUE);
       cross mc_pwme_ori,mc_input_ori,mc_idle_checker_c using
          ignore = not(mc_pwme_ori in [0,1] and mc_input_ori[25:13] >= mc_input_ori[12:0] and mc_idle_checker_c == TRUE);
    };
    
    cover mc_change_e is {
       item mc_pwme_ori using
          ignore = not(mc_pwme_ori in [0,1]);
       item mc_input_ori using
          ignore = not(mc_input_ori[25:13] >= mc_input_ori[12:0]); 
       item mc_check_checker_c using
          ignore = not(mc_check_checker_c == TRUE);
       cross mc_pwme_ori,mc_input_ori,mc_check_checker_c using
          ignore = not(mc_pwme_ori in [0,1] and mc_input_ori[25:13] >= mc_input_ori[12:0] and mc_check_checker_c == TRUE);
       
    };
        
        
   };

extend sys {

    setup() is also {
       set_config(cover, mode, on);
    };
    
};


'>