⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 date_main.fit.eqn

📁 基于FPGA的多功能数字钟的设计与实现 内附有详尽的Verilog HDL源码
💻 EQN
📖 第 1 页 / 共 3 页
字号:
--B1_EO1 is autodate:inst|EO1 at LC7
B1_EO1_or_out = !Date_Set_EN;
B1_EO1_reg_input = B1_EO1_or_out;
B1_EO1 = DFFE(B1_EO1_reg_input, GLOBAL(day_EN), , , );


--D1_disp_drive[0] is setdate:inst2|disp_drive[0] at LC15
D1_disp_drive[0]_or_out = Date_Set_EN;
D1_disp_drive[0]_reg_input = D1_disp_drive[0]_or_out;
D1_disp_drive[0] = TFFE(D1_disp_drive[0]_reg_input, SW1, , , );


--D1_disp_drive[1] is setdate:inst2|disp_drive[1] at LC18
D1_disp_drive[1]_p1_out = D1_disp_drive[0] & Date_Set_EN;
D1_disp_drive[1]_or_out = D1_disp_drive[1]_p1_out;
D1_disp_drive[1]_reg_input = D1_disp_drive[1]_or_out;
D1_disp_drive[1] = TFFE(D1_disp_drive[1]_reg_input, SW1, , , );


--E2_dffs[2] is autodate:inst|lpm_counter:month0_rtl_3|dffs[2] at LC14
E2_dffs[2]_p1_out = B1_day0[3] & E2_dffs[0] & E2_dffs[1] & !Date_Set_EN & E1_dffs[1] & E1_dffs[0] & !E2_dffs[3] & !B1_month1[0];
E2_dffs[2]_p2_out = E2_dffs[0] & E2_dffs[1] & !Date_Set_EN & E1_dffs[1] & E1_dffs[0] & !E2_dffs[3] & !B1_month1[0] & B1_day0[2];
E2_dffs[2]_p3_out = E2_dffs[0] & E2_dffs[1] & !Date_Set_EN & E1_dffs[1] & E1_dffs[0] & !E2_dffs[3] & !B1_month1[0] & B1_day0[1];
E2_dffs[2]_p4_out = E2_dffs[0] & E2_dffs[1] & !Date_Set_EN & E1_dffs[1] & E1_dffs[0] & !E2_dffs[3] & !B1_month1[0] & B1_day0[0];
E2_dffs[2]_or_out = E2_dffs[2]_p1_out # E2_dffs[2]_p2_out # E2_dffs[2]_p3_out # E2_dffs[2]_p4_out;
E2_dffs[2]_reg_input = E2_dffs[2]_or_out;
E2_dffs[2] = TFFE(E2_dffs[2]_reg_input, GLOBAL(day_EN), , , );


--E4_dffs[0] is setdate:inst2|lpm_counter:day_set1_rtl_2|dffs[0] at LC22
E4_dffs[0]_p1_out = D1_disp_drive[1] & !D1_disp_drive[0];
E4_dffs[0]_or_out = E4_dffs[0]_p1_out;
E4_dffs[0]_reg_input = E4_dffs[0]_or_out;
E4_dffs[0] = TFFE(E4_dffs[0]_reg_input, SW2, , , );


--E3_dffs[0] is setdate:inst2|lpm_counter:day_set0_rtl_0|dffs[0] at LC23
E3_dffs[0]_p1_out = !E3_dffs[3] & !E3_dffs[0] & D1_disp_drive[1] & D1_disp_drive[0];
E3_dffs[0]_p2_out = !E3_dffs[0] & !E3_dffs[2] & !E3_dffs[1] & D1_disp_drive[1] & D1_disp_drive[0];
E3_dffs[0]_p4_out = E3_dffs[0] & C1L2;
E3_dffs[0]_or_out = E3_dffs[0]_p1_out # E3_dffs[0]_p2_out # E3_dffs[0]_p4_out;
E3_dffs[0]_reg_input = E3_dffs[0]_or_out;
E3_dffs[0] = DFFE(E3_dffs[0]_reg_input, SW2, , , );


--E5_dffs[0] is setdate:inst2|lpm_counter:month_set0_rtl_4|dffs[0] at LC39
E5_dffs[0]_p1_out = !E5_dffs[3] & !E5_dffs[0] & !D1_disp_drive[1] & D1_disp_drive[0];
E5_dffs[0]_p2_out = !E5_dffs[0] & !E5_dffs[2] & !E5_dffs[1] & !D1_disp_drive[1] & D1_disp_drive[0];
E5_dffs[0]_p4_out = E5_dffs[0] & C1L1;
E5_dffs[0]_or_out = E5_dffs[0]_p1_out # E5_dffs[0]_p2_out # E5_dffs[0]_p4_out;
E5_dffs[0]_reg_input = E5_dffs[0]_or_out;
E5_dffs[0] = DFFE(E5_dffs[0]_reg_input, SW2, , , );


--E6_dffs[0] is setdate:inst2|lpm_counter:month_set1_rtl_5|dffs[0] at LC26
E6_dffs[0]_p1_out = !E6_dffs[1] & !D1_disp_drive[1] & !D1_disp_drive[0];
E6_dffs[0]_p2_out = !D1_disp_drive[1] & !D1_disp_drive[0] & E6_dffs[0];
E6_dffs[0]_or_out = E6_dffs[0]_p1_out # E6_dffs[0]_p2_out;
E6_dffs[0]_reg_input = E6_dffs[0]_or_out;
E6_dffs[0] = TFFE(E6_dffs[0]_reg_input, SW2, , , );


--C1_disp_select[5] is datecontrol:inst1|disp_select[5] at LC19
C1_disp_select[5]_p1_out = !B1_EO1 & !D1_disp_drive[1] & !D1_disp_drive[0] & Date_Set_EN;
C1_disp_select[5]_p2_out = !B1_EO1 & !Date_Set_EN & C1_disp_select[5];
C1_disp_select[5]_p3_out = !D1_disp_drive[1] & !D1_disp_drive[0] & Date_Set_EN & !Date_EN;
C1_disp_select[5]_p4_out = !Date_Set_EN & C1_disp_select[5] & !Date_EN;
C1_disp_select[5]_or_out = C1_disp_select[5]_p1_out # C1_disp_select[5]_p2_out # C1_disp_select[5]_p3_out # C1_disp_select[5]_p4_out;
C1_disp_select[5]_reg_input = C1_disp_select[5]_or_out;
C1_disp_select[5] = DFFE(C1_disp_select[5]_reg_input, GLOBAL(date_disp_clk), , , );


--C1_disp_select[4] is datecontrol:inst1|disp_select[4] at LC17
C1_disp_select[4]_p1_out = !B1_EO1 & Date_Set_EN & !D1_disp_drive[1] & D1_disp_drive[0];
C1_disp_select[4]_p2_out = !B1_EO1 & !Date_Set_EN & C1_disp_select[4];
C1_disp_select[4]_p3_out = Date_Set_EN & !Date_EN & !D1_disp_drive[1] & D1_disp_drive[0];
C1_disp_select[4]_p4_out = !Date_Set_EN & C1_disp_select[4] & !Date_EN;
C1_disp_select[4]_or_out = C1_disp_select[4]_p1_out # C1_disp_select[4]_p2_out # C1_disp_select[4]_p3_out # C1_disp_select[4]_p4_out;
C1_disp_select[4]_reg_input = C1_disp_select[4]_or_out;
C1_disp_select[4] = DFFE(C1_disp_select[4]_reg_input, GLOBAL(date_disp_clk), , , );


--C1_disp_select[3] is datecontrol:inst1|disp_select[3] at LC30
C1_disp_select[3]_p1_out = !B1_EO1 & D1_disp_drive[1] & !D1_disp_drive[0] & Date_Set_EN;
C1_disp_select[3]_p2_out = !B1_EO1 & !Date_Set_EN & C1_disp_select[3];
C1_disp_select[3]_p3_out = D1_disp_drive[1] & !D1_disp_drive[0] & Date_Set_EN & !Date_EN;
C1_disp_select[3]_p4_out = !Date_Set_EN & C1_disp_select[3] & !Date_EN;
C1_disp_select[3]_or_out = C1_disp_select[3]_p1_out # C1_disp_select[3]_p2_out # C1_disp_select[3]_p3_out # C1_disp_select[3]_p4_out;
C1_disp_select[3]_reg_input = C1_disp_select[3]_or_out;
C1_disp_select[3] = DFFE(C1_disp_select[3]_reg_input, GLOBAL(date_disp_clk), , , );


--C1_disp_select[2] is datecontrol:inst1|disp_select[2] at LC41
C1_disp_select[2]_p1_out = !Date_Set_EN & C1_disp_select[2];
C1_disp_select[2]_p2_out = Date_Set_EN & D1_disp_drive[1] & D1_disp_drive[0];
C1_disp_select[2]_p3_out = B1_EO1 & Date_EN;
C1_disp_select[2]_or_out = C1_disp_select[2]_p1_out # C1_disp_select[2]_p2_out # C1_disp_select[2]_p3_out;
C1_disp_select[2]_reg_input = C1_disp_select[2]_or_out;
C1_disp_select[2] = DFFE(C1_disp_select[2]_reg_input, GLOBAL(date_disp_clk), , , );


--E2_dffs[3] is autodate:inst|lpm_counter:month0_rtl_3|dffs[3] at LC16
E2_dffs[3]_p0_out = !Date_Set_EN & E1_dffs[1] & E1_dffs[0] & E2_dffs[0] & !E2_dffs[1] & !B1_month1[0] & !E2_dffs[2] & E2_dffs[3];
E2_dffs[3]_p1_out = B1_day0[3] & !Date_Set_EN & E1_dffs[1] & E1_dffs[0] & E2_dffs[0] & E2_dffs[1] & !B1_month1[0] & E2_dffs[2] & !E2_dffs[3];
E2_dffs[3]_p2_out = !Date_Set_EN & E1_dffs[1] & E1_dffs[0] & E2_dffs[0] & E2_dffs[1] & !B1_month1[0] & E2_dffs[2] & !E2_dffs[3] & B1_day0[2];
E2_dffs[3]_p3_out = !Date_Set_EN & E1_dffs[1] & E1_dffs[0] & E2_dffs[0] & E2_dffs[1] & !B1_month1[0] & E2_dffs[2] & !E2_dffs[3] & B1_day0[1];
E2_dffs[3]_p4_out = !Date_Set_EN & E1_dffs[1] & E1_dffs[0] & E2_dffs[0] & E2_dffs[1] & !B1_month1[0] & E2_dffs[2] & !E2_dffs[3] & B1_day0[0];
E2_dffs[3]_or_out = E2_dffs[3]_p0_out # E2_dffs[3]_p1_out # E2_dffs[3]_p2_out # E2_dffs[3]_p3_out # E2_dffs[3]_p4_out;
E2_dffs[3]_reg_input = E2_dffs[3]_or_out;
E2_dffs[3] = TFFE(E2_dffs[3]_reg_input, GLOBAL(day_EN), , , );


--E4_dffs[1] is setdate:inst2|lpm_counter:day_set1_rtl_2|dffs[1] at LC29
E4_dffs[1]_p1_out = E4_dffs[0] & D1_disp_drive[1] & !D1_disp_drive[0];
E4_dffs[1]_or_out = E4_dffs[1]_p1_out;
E4_dffs[1]_reg_input = E4_dffs[1]_or_out;
E4_dffs[1] = TFFE(E4_dffs[1]_reg_input, SW2, , , );


--E6_dffs[1] is setdate:inst2|lpm_counter:month_set1_rtl_5|dffs[1] at LC28
E6_dffs[1]_p1_out = E6_dffs[0] & !D1_disp_drive[1] & !D1_disp_drive[0];
E6_dffs[1]_p2_out = !D1_disp_drive[1] & !D1_disp_drive[0] & E6_dffs[1];
E6_dffs[1]_or_out = E6_dffs[1]_p1_out # E6_dffs[1]_p2_out;
E6_dffs[1]_reg_input = E6_dffs[1]_or_out;
E6_dffs[1] = TFFE(E6_dffs[1]_reg_input, SW2, , , );


--E3_dffs[1] is setdate:inst2|lpm_counter:day_set0_rtl_0|dffs[1] at LC31
E3_dffs[1]_p1_out = !E3_dffs[3] & E3_dffs[0] & D1_disp_drive[1] & D1_disp_drive[0];
E3_dffs[1]_p2_out = E3_dffs[3] & E3_dffs[1] & D1_disp_drive[1] & D1_disp_drive[0];
E3_dffs[1]_or_out = E3_dffs[1]_p1_out # E3_dffs[1]_p2_out;
E3_dffs[1]_reg_input = E3_dffs[1]_or_out;
E3_dffs[1] = TFFE(E3_dffs[1]_reg_input, SW2, , , );


--E5_dffs[1] is setdate:inst2|lpm_counter:month_set0_rtl_4|dffs[1] at LC47
E5_dffs[1]_p1_out = !E5_dffs[3] & E5_dffs[0] & !D1_disp_drive[1] & D1_disp_drive[0];
E5_dffs[1]_p2_out = E5_dffs[3] & E5_dffs[1] & !D1_disp_drive[1] & D1_disp_drive[0];
E5_dffs[1]_or_out = E5_dffs[1]_p1_out # E5_dffs[1]_p2_out;
E5_dffs[1]_reg_input = E5_dffs[1]_or_out;
E5_dffs[1] = TFFE(E5_dffs[1]_reg_input, SW2, , , );


--C1_month1[1] is datecontrol:inst1|month1[1] at LC24
C1_month1[1]_p1_out = !B1_EO1 & E6_dffs[1] & Date_Set_EN;
C1_month1[1]_p2_out = !B1_EO1 & !Date_Set_EN & C1_month1[1];
C1_month1[1]_p3_out = E6_dffs[1] & Date_Set_EN & !Date_EN;
C1_month1[1]_p4_out = !Date_Set_EN & C1_month1[1] & !Date_EN;
C1_month1[1]_or_out = C1_month1[1]_p1_out # C1_month1[1]_p2_out # C1_month1[1]_p3_out # C1_month1[1]_p4_out;
C1_month1[1]_reg_input = C1_month1[1]_or_out;
C1_month1[1] = DFFE(C1_month1[1]_reg_input, GLOBAL(date_disp_clk), , , );


--B1_month1[0] is autodate:inst|month1[0] at LC13
B1_month1[0]_p0_out = E2_dffs[1] & !Date_Set_EN & B1_month1[0] & E1_dffs[1] & E1_dffs[0] & !E2_dffs[3] & !E2_dffs[2] & !E2_dffs[0] & B1_day0[0];
B1_month1[0]_p1_out = !E2_dffs[1] & !Date_Set_EN & !B1_month1[0] & E1_dffs[1] & E1_dffs[0] & E2_dffs[3] & !E2_dffs[2] & E2_dffs[0];
B1_month1[0]_p2_out = E2_dffs[1] & !Date_Set_EN & B1_month1[0] & E1_dffs[1] & E1_dffs[0] & !E2_dffs[3] & !E2_dffs[2] & !E2_dffs[0] & B1_day0[3];
B1_month1[0]_p3_out = E2_dffs[1] & !Date_Set_EN & B1_month1[0] & E1_dffs[1] & E1_dffs[0] & !E2_dffs[3] & !E2_dffs[2] & !E2_dffs[0] & B1_day0[2];
B1_month1[0]_p4_out = E2_dffs[1] & !Date_Set_EN & B1_month1[0] & E1_dffs[1] & E1_dffs[0] & !E2_dffs[3] & !E2_dffs[2] & !E2_dffs[0] & B1_day0[1];
B1_month1[0]_or_out = B1_month1[0]_p0_out # B1_month1[0]_p1_out # B1_month1[0]_p2_out # B1_month1[0]_p3_out # B1_month1[0]_p4_out;
B1_month1[0]_reg_input = B1_month1[0]_or_out;
B1_month1[0] = TFFE(B1_month1[0]_reg_input, GLOBAL(day_EN), , , );


--C1_month1[0] is datecontrol:inst1|month1[0] at LC52
C1_month1[0]_p0_out = !Date_EN & !Date_Set_EN & C1_month1[0];
C1_month1[0]_p1_out = B1_month1[0] & B1_EO1 & Date_EN;
C1_month1[0]_p2_out = !B1_EO1 & E6_dffs[0] & Date_Set_EN;
C1_month1[0]_p3_out = !B1_EO1 & !Date_Set_EN & C1_month1[0];
C1_month1[0]_p4_out = !Date_EN & E6_dffs[0] & Date_Set_EN;
C1_month1[0]_or_out = C1_month1[0]_p0_out # C1_month1[0]_p1_out # C1_month1[0]_p2_out # C1_month1[0]_p3_out # C1_month1[0]_p4_out;
C1_month1[0]_reg_input = C1_month1[0]_or_out;
C1_month1[0] = DFFE(C1_month1[0]_reg_input, GLOBAL(date_disp_clk), , , );


--E3_dffs[2] is setdate:inst2|lpm_counter:day_set0_rtl_0|dffs[2] at LC32
E3_dffs[2]_p1_out = !E3_dffs[3] & E3_dffs[1] & E3_dffs[0] & D1_disp_drive[1] & D1_disp_drive[0];
E3_dffs[2]_p2_out = E3_dffs[3] & E3_dffs[2] & D1_disp_drive[1] & D1_disp_drive[0];
E3_dffs[2]_or_out = E3_dffs[2]_p1_out # E3_dffs[2]_p2_out;
E3_dffs[2]_reg_input = E3_dffs[2]_or_out;
E3_dffs[2] = TFFE(E3_dffs[2]_reg_input, SW2, , , );


--E5_dffs[2] is setdate:inst2|lpm_counter:month_set0_rtl_4|dffs[2] at LC38
E5_dffs[2]_p1_out = !E5_dffs[3] & E5_dffs[1] & E5_dffs[0] & !D1_disp_drive[1] & D1_disp_drive[0];
E5_dffs[2]_p2_out = E5_dffs[3] & E5_dffs[2] & !D1_disp_drive[1] & D1_disp_drive[0];
E5_dffs[2]_or_out = E5_dffs[2]_p1_out # E5_dffs[2]_p2_out;
E5_dffs[2]_reg_input = E5_dffs[2]_or_out;
E5_dffs[2] = TFFE(E5_dffs[2]_reg_input, SW2, , , );


--C1_month0[2] is datecontrol:inst1|month0[2] at LC64
C1_month0[2]_p0_out = !Date_EN & !Date_Set_EN & C1_month0[2];
C1_month0[2]_p1_out = E2_dffs[2] & B1_EO1 & Date_EN;
C1_month0[2]_p2_out = !B1_EO1 & E5_dffs[2] & Date_Set_EN;
C1_month0[2]_p3_out = !B1_EO1 & !Date_Set_EN & C1_month0[2];
C1_month0[2]_p4_out = !Date_EN & E5_dffs[2] & Date_Set_EN;
C1_month0[2]_or_out = C1_month0[2]_p0_out # C1_month0[2]_p1_out # C1_month0[2]_p2_out # C1_month0[2]_p3_out # C1_month0[2]_p4_out;
C1_month0[2]_reg_input = C1_month0[2]_or_out;
C1_month0[2] = DFFE(C1_month0[2]_reg_input, GLOBAL(date_disp_clk), , , );


--E3_dffs[3] is setdate:inst2|lpm_counter:day_set0_rtl_0|dffs[3] at LC27
E3_dffs[3]_p1_out = E3_dffs[2] & E3_dffs[1] & E3_dffs[0] & !E3_dffs[3] & D1_disp_drive[1] & D1_disp_drive[0];
E3_dffs[3]_p2_out = !E3_dffs[2] & !E3_dffs[1] & !E3_dffs[0] & E3_dffs[3];
E3_dffs[3]_p4_out = E3_dffs[3] & C1L2;
E3_dffs[3]_or_out = E3_dffs[3]_p1_out # E3_dffs[3]_p2_out # E3_dffs[3]_p4_out;
E3_dffs[3]_reg_input = E3_dffs[3]_or_out;
E3_dffs[3] = DFFE(E3_dffs[3]_reg_input, SW2, , , );


--E5_dffs[3] is setdate:inst2|lpm_counter:month_set0_rtl_4|dffs[3] at LC34
E5_dffs[3]_p1_out = E5_dffs[2] & E5_dffs[1] & E5_dffs[0] & !E5_dffs[3] & !D1_disp_drive[1] & D1_disp_drive[0];
E5_dffs[3]_p2_out = !E5_dffs[2] & !E5_dffs[1] & !E5_dffs[0] & E5_dffs[3];
E5_dffs[3]_p4_out = E5_dffs[3] & C1L1;
E5_dffs[3]_or_out = E5_dffs[3]_p1_out # E5_dffs[3]_p2_out # E5_dffs[3]_p4_out;
E5_dffs[3]_reg_input = E5_dffs[3]_or_out;
E5_dffs[3] = DFFE(E5_dffs[3]_reg_input, SW2, , , );


--E2L3 is autodate:inst|lpm_counter:month0_rtl_3|dffs[0]~482 at SEXP60
E2L3 = EXP(B1_month1[0] & E2_dffs[3]);


--E2_dffs[0] is autodate:inst|lpm_counter:month0_rtl_3|dffs[0] at LC45
E2_dffs[0]_p0_out = E1_dffs[1] & !E2_dffs[0] & !E2_dffs[1] & !E2_dffs[3] & !Date_Set_EN & E1_dffs[0] & !E2_dffs[2] & B1_day0[1];
E2_dffs[0]_p1_out = E1_dffs[1] & !E2_dffs[0] & !E2_dffs[1] & !Date_Set_EN & !B1_month1[0] & E1_dffs[0] & !E2_dffs[2] & B1_day0[0];
E2_dffs[0]_p2_out = E1_dffs[1] & !E2_dffs[0] & !E2_dffs[1] & !Date_Set_EN & !B1_month1[0] & E1_dffs[0] & !E2_dffs[2] & B1_day0[1];
E2_dffs[0]_p3_out = E1_dffs[1] & !E2_dffs[0] & !E2_dffs[1] & !Date_Set_EN & !B1_month1[0] & E1_dffs[0] & !E2_dffs[2] & B1_day0[2];
E2_dffs[0]_p4_out = E1_dffs[1] & !E2_dffs[0] & !E2_dffs[1] & !E2_dffs[3] & !Date_Set_EN & E1_dffs[0] & !E2_dffs[2] & B1_day0[0];
E2_dffs[0]_or_out = E2L4 # E2_dffs[0]_p0_out # E2_dffs[0]_p1_out # E2_dffs[0]_p2_out # E2_dffs[0]_p3_out # E2_dffs[0]_p4_out;
E2_dffs[0]_reg_input = E2_dffs[0]_or_out;
E2_dffs[0] = DFFE(E2_dffs[0]_reg_input, GLOBAL(day_EN), , , );


--C1_month0[0] is datecontrol:inst1|month0[0] at LC36
C1_month0[0]_p0_out = !Date_EN & !Date_Set_EN & C1_month0[0];
C1_month0[0]_p1_out = E2_dffs[0] & B1_EO1 & Date_EN;
C1_month0[0]_p2_out = !B1_EO1 & E5_dffs[0] & Date_Set_EN;
C1_month0[0]_p3_out = !B1_EO1 & !Date_Set_EN & C1_month0[0];
C1_month0[0]_p4_out = !Date_EN & E5_dffs[0] & Date_Set_EN;
C1_month0[0]_or_out = C1_month0[0]_p0_out # C1_month0[0]_p1_out # C1_month0[0]_p2_out # C1_month0[0]_p3_out # C1_month0[0]_p4_out;
C1_month0[0]_reg_input = C1_month0[0]_or_out;
C1_month0[0] = DFFE(C1_month0[0]_reg_input, GLOBAL(date_disp_clk), , , );


--C1_month0[3] is datecontrol:inst1|month0[3] at LC35
C1_month0[3]_p0_out = !Date_EN & !Date_Set_EN & C1_month0[3];
C1_month0[3]_p1_out = E2_dffs[3] & B1_EO1 & Date_EN;
C1_month0[3]_p2_out = !B1_EO1 & E5_dffs[3] & Date_Set_EN;
C1_month0[3]_p3_out = !B1_EO1 & !Date_Set_EN & C1_month0[3];
C1_month0[3]_p4_out = !Date_EN & E5_dffs[3] & Date_Set_EN;
C1_month0[3]_or_out = C1_month0[3]_p0_out # C1_month0[3]_p1_out # C1_month0[3]_p2_out # C1_month0[3]_p3_out # C1_month0[3]_p4_out;

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -