?? lab_mc_cover_3.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); }; };'>
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -