lab_mc_cover.e

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

File: lab_mc_cover.e

<'

extend lab_mc_monitor_u {    
    
    cover mc_check_reset_e is {
   
       item mc_pwme_dut using
          ignore = not(mc_pwme_dut == 1);
       item mc_state_ori using
          ignore = not(mc_state_ori in [0,1,2,3]);
       cross mc_pwme_dut, mc_state_ori using
          ignore = not(mc_pwme_dut == 1 and mc_state_ori in [0,1,2,3]);
    };
    
    cover mc_check_e is {       
       item mc_state_ori using
          ignore = not(mc_state_ori in [0,1,2,3]);
       item mc_state_dut using
          ignore = not(mc_state_dut in [0,1,2,3]);
       item mc_check_checker_c using
          ignore = not(mc_check_checker_c == TRUE);
       cross mc_state_ori,mc_state_dut,mc_check_checker_c using
          ignore = not(((mc_state_ori in [0,1,3] and mc_state_dut in [0,1,2,3]) or (mc_state_ori ==2 and mc_state_dut in [0,1,3]))  and mc_check_checker_c == TRUE);
       
    };
        
        
   };

extend sys {

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


'>