lab_mc_test_dn.e

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

File: lab_mc_test_original.e

<'

import lab_mc_env;

extend lab_mc_driver_u {

    keep soft mc_delay == 1;

    keep soft reset_delay == select {
        1: [20..399];
        9: [400..511];
    };
    
    keep mc_target_speed >= mc_min_speed;

    keep soft speed_temp == ((gen_counter == 0) ? 5000 : 1);       
};

'>