lab_mc_cover_3.e

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

File: lab_mc_cover.e

<'

extend lab_mc_monitor_u {

    keep soft mc_state_ori in [0,1,2,3];
    keep soft mc_state_dut in [0,1,2,3];
    
    cover mc_reset_r_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 == 0);
       item mc_reset_checker_c using
          ignore = not(mc_reset_checker_c == TRUE);
       cross mc_state_ori, mc_state_dut, mc_reset_checker_c using
          ignore = not(mc_state_ori in [0,1,2,3] and mc_state_dut == 0 and mc_reset_checker_c == TRUE);
      };
    
------------------------------------------------------------    
       
    
    
    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,2,3] and mc_state_dut in [0,1,2,3] and mc_check_checker_c == TRUE);
                   
        
   };
 };
extend sys {

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


'>