lab_mc_cover_1.e

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

File: lab_mc_cover.e

<'

extend lab_mc_monitor_u {
    
    keep mc_input_ori[15:8] >= mc_input_ori[7:0];    

    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[15:8] >= mc_input_ori[7: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[15:8] >= mc_input_ori[7: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[15:8] >= mc_input_ori[7: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[15:8] >= mc_input_ori[7:0] and mc_check_checker_c == TRUE);
       
    };
        
        
   };

extend sys {

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


'>