📄 sdram_tb.map.eqn
字号:
--operation mode is normal
C1_refTimer_r[4]_lut_out = C1L96 & C1L012;
C1_refTimer_r[4] = DFFEAS(C1_refTimer_r[4]_lut_out, clk, rst_n, , , , , , );
--C1L802 is sdramCntl:sdram1|reduce_or~415
--operation mode is normal
C1L802 = C1_refTimer_r[7] # C1_refTimer_r[6] # C1_refTimer_r[5] # C1_refTimer_r[4];
--C1_refTimer_r[0] is sdramCntl:sdram1|refTimer_r[0]
--operation mode is normal
C1_refTimer_r[0]_lut_out = C1L17 & C1L012;
C1_refTimer_r[0] = DFFEAS(C1_refTimer_r[0]_lut_out, clk, rst_n, , , , , , );
--C1_refTimer_r[9] is sdramCntl:sdram1|refTimer_r[9]
--operation mode is normal
C1_refTimer_r[9]_lut_out = !C1L37;
C1_refTimer_r[9] = DFFEAS(C1_refTimer_r[9]_lut_out, clk, rst_n, , , , , , );
--C1_refTimer_r[8] is sdramCntl:sdram1|refTimer_r[8]
--operation mode is normal
C1_refTimer_r[8]_lut_out = !C1L47;
C1_refTimer_r[8] = DFFEAS(C1_refTimer_r[8]_lut_out, clk, rst_n, , , , , , );
--C1_refTimer_r[3] is sdramCntl:sdram1|refTimer_r[3]
--operation mode is normal
C1_refTimer_r[3]_lut_out = !C1L67;
C1_refTimer_r[3] = DFFEAS(C1_refTimer_r[3]_lut_out, clk, rst_n, , , , , , );
--C1L902 is sdramCntl:sdram1|reduce_or~416
--operation mode is normal
C1L902 = C1_refTimer_r[0] # !C1_refTimer_r[3] # !C1_refTimer_r[8] # !C1_refTimer_r[9];
--C1_refTimer_r[2] is sdramCntl:sdram1|refTimer_r[2]
--operation mode is normal
C1_refTimer_r[2]_lut_out = !C1L87;
C1_refTimer_r[2] = DFFEAS(C1_refTimer_r[2]_lut_out, clk, rst_n, , , , , , );
--C1_refTimer_r[1] is sdramCntl:sdram1|refTimer_r[1]
--operation mode is normal
C1_refTimer_r[1]_lut_out = !C1L08;
C1_refTimer_r[1] = DFFEAS(C1_refTimer_r[1]_lut_out, clk, rst_n, , , , , , );
--C1L012 is sdramCntl:sdram1|reduce_or~417
--operation mode is normal
C1L012 = C1L802 # C1L902 # !C1_refTimer_r[1] # !C1_refTimer_r[2];
--C1L22 is sdramCntl:sdram1|add~2358
--operation mode is normal
C1L22 = !C1L012 & (!C1L28 # !C1L003 # !C1L023);
--C1L103 is sdramCntl:sdram1|Select~913
--operation mode is normal
C1L103 = !C1L002 & !C1L243 # !C1_state_r.selfrefresh;
--C1L232 is sdramCntl:sdram1|rfshCntr_r[3]~364
--operation mode is normal
C1L232 = !C1L502 & (C1_state_r.initpchg # !C1L103);
--C1L522 is sdramCntl:sdram1|rfshCntr_r[0]~367
--operation mode is arithmetic
C1L522 = CARRY(!C1L502 & !C1L02);
--C1L32 is sdramCntl:sdram1|add~2359
--operation mode is normal
C1L32 = !C1L602 & !C1L702 & (C1_state_r.initrfsh # C1_state_r.refreshrow);
--C1L42 is sdramCntl:sdram1|add~2360
--operation mode is normal
C1L42 = C1_rfshCntr_r[1] & (C1L602 # C1L702 # !C1_state_r.initpchg);
--C1L52 is sdramCntl:sdram1|add~2361
--operation mode is normal
C1L52 = C1_rfshCntr_r[2] & (C1L602 # C1L702 # !C1_state_r.initpchg);
--C1L62 is sdramCntl:sdram1|add~2362
--operation mode is normal
C1L62 = C1_rfshCntr_r[3] & (C1L602 # C1L702 # !C1_state_r.initpchg);
--C1L72 is sdramCntl:sdram1|add~2363
--operation mode is normal
C1L72 = C1_rfshCntr_r[4] & (C1L602 # C1L702 # !C1_state_r.initpchg);
--C1L82 is sdramCntl:sdram1|add~2364
--operation mode is normal
C1L82 = C1_rfshCntr_r[5] & (C1L602 # C1L702 # !C1_state_r.initpchg);
--C1L92 is sdramCntl:sdram1|add~2365
--operation mode is normal
C1L92 = C1_rfshCntr_r[6] & (C1L602 # C1L702 # !C1_state_r.initpchg);
--C1L03 is sdramCntl:sdram1|add~2366
--operation mode is normal
C1L03 = C1_rfshCntr_r[7] & (C1L602 # C1L702 # !C1_state_r.initpchg);
--C1L13 is sdramCntl:sdram1|add~2367
--operation mode is normal
C1L13 = C1_rfshCntr_r[8] & (C1L602 # C1L702 # !C1_state_r.initpchg);
--C1L23 is sdramCntl:sdram1|add~2368
--operation mode is normal
C1L23 = C1_rfshCntr_r[9] & (C1L602 # C1L702 # !C1_state_r.initpchg);
--C1L33 is sdramCntl:sdram1|add~2369
--operation mode is normal
C1L33 = C1_rfshCntr_r[10] & (C1L602 # C1L702 # !C1_state_r.initpchg);
--C1L43 is sdramCntl:sdram1|add~2370
--operation mode is normal
C1L43 = C1_rfshCntr_r[11] & (C1L602 # C1L702 # !C1_state_r.initpchg);
--C1L53 is sdramCntl:sdram1|add~2371
--operation mode is normal
C1L53 = C1_rfshCntr_r[12] & (C1L602 # C1L702 # !C1_state_r.initpchg);
--B1_state_r.stop is memTest:memt|state_r.stop
--operation mode is normal
B1_state_r.stop_lut_out = rst_n & B1L35 & B1L09;
B1_state_r.stop = DFFEAS(B1_state_r.stop_lut_out, clk, VCC, , , , , , );
--B1L88 is memTest:memt|state_r~368
--operation mode is normal
B1L88 = rst_n & (bt_doAgain_n # !B1_state_r.stop);
--B1L65 is memTest:memt|reduce_or~562
--operation mode is normal
B1L65 = B1_addr_r[17] & B1_addr_r[11];
--B1L75 is memTest:memt|reduce_or~563
--operation mode is normal
B1L75 = B1_addr_r[13] & B1_addr_r[20] & B1_addr_r[9] & B1_addr_r[19];
--B1L85 is memTest:memt|reduce_or~564
--operation mode is normal
B1L85 = B1_addr_r[16] & B1_addr_r[8] & B1L65 & B1L75;
--B1L95 is memTest:memt|reduce_or~565
--operation mode is normal
B1L95 = B1_addr_r[18] & B1_addr_r[12] & B1_addr_r[15] & B1_addr_r[10];
--B1_addr_r[0] is memTest:memt|addr_r[0]
--operation mode is arithmetic
B1_addr_r[0]_lut_out = !B1_addr_r[0];
B1_addr_r[0] = DFFEAS(B1_addr_r[0]_lut_out, clk, VCC, , B1L12, , , B1L41, );
--B1L3 is memTest:memt|addr_r[0]~377
--operation mode is arithmetic
B1L3 = CARRY(B1_addr_r[0]);
--B1_addr_r[1] is memTest:memt|addr_r[1]
--operation mode is arithmetic
B1_addr_r[1]_carry_eqn = B1L3;
B1_addr_r[1]_lut_out = B1_addr_r[1] $ (B1_addr_r[1]_carry_eqn);
B1_addr_r[1] = DFFEAS(B1_addr_r[1]_lut_out, clk, VCC, , B1L12, , , B1L41, );
--B1L5 is memTest:memt|addr_r[1]~381
--operation mode is arithmetic
B1L5 = CARRY(!B1L3 # !B1_addr_r[1]);
--B1L06 is memTest:memt|reduce_or~566
--operation mode is normal
B1L06 = B1_addr_r[14] & B1_addr_r[21] & B1_addr_r[0] & B1_addr_r[1];
--B1_addr_r[6] is memTest:memt|addr_r[6]
--operation mode is arithmetic
B1_addr_r[6]_carry_eqn = B1L31;
B1_addr_r[6]_lut_out = B1_addr_r[6] $ (!B1_addr_r[6]_carry_eqn);
B1_addr_r[6] = DFFEAS(B1_addr_r[6]_lut_out, clk, VCC, , B1L12, , , B1L41, );
--B1L61 is memTest:memt|addr_r[6]~385
--operation mode is arithmetic
B1L61 = CARRY(B1_addr_r[6] & (!B1L31));
--B1_addr_r[7] is memTest:memt|addr_r[7]
--operation mode is arithmetic
B1_addr_r[7]_carry_eqn = B1L61;
B1_addr_r[7]_lut_out = B1_addr_r[7] $ (B1_addr_r[7]_carry_eqn);
B1_addr_r[7] = DFFEAS(B1_addr_r[7]_lut_out, clk, VCC, , B1L12, , , B1L41, );
--B1L81 is memTest:memt|addr_r[7]~389
--operation mode is arithmetic
B1L81 = CARRY(!B1L61 # !B1_addr_r[7]);
--B1_addr_r[2] is memTest:memt|addr_r[2]
--operation mode is arithmetic
B1_addr_r[2]_carry_eqn = B1L5;
B1_addr_r[2]_lut_out = B1_addr_r[2] $ (!B1_addr_r[2]_carry_eqn);
B1_addr_r[2] = DFFEAS(B1_addr_r[2]_lut_out, clk, VCC, , B1L12, , , B1L41, );
--B1L7 is memTest:memt|addr_r[2]~393
--operation mode is arithmetic
B1L7 = CARRY(B1_addr_r[2] & (!B1L5));
--B1_addr_r[3] is memTest:memt|addr_r[3]
--operation mode is arithmetic
B1_addr_r[3]_carry_eqn = B1L7;
B1_addr_r[3]_lut_out = B1_addr_r[3] $ (B1_addr_r[3]_carry_eqn);
B1_addr_r[3] = DFFEAS(B1_addr_r[3]_lut_out, clk, VCC, , B1L12, , , B1L41, );
--B1L9 is memTest:memt|addr_r[3]~397
--operation mode is arithmetic
B1L9 = CARRY(!B1L7 # !B1_addr_r[3]);
--B1_addr_r[4] is memTest:memt|addr_r[4]
--operation mode is arithmetic
B1_addr_r[4]_carry_eqn = B1L9;
B1_addr_r[4]_lut_out = B1_addr_r[4] $ (!B1_addr_r[4]_carry_eqn);
B1_addr_r[4] = DFFEAS(B1_addr_r[4]_lut_out, clk, VCC, , B1L12, , , B1L41, );
--B1L11 is memTest:memt|addr_r[4]~401
--operation mode is arithmetic
B1L11 = CARRY(B1_addr_r[4] & (!B1L9));
--B1_addr_r[5] is memTest:memt|addr_r[5]
--operation mode is arithmetic
B1_addr_r[5]_carry_eqn = B1L11;
B1_addr_r[5]_lut_out = B1_addr_r[5] $ (B1_addr_r[5]_carry_eqn);
B1_addr_r[5] = DFFEAS(B1_addr_r[5]_lut_out, clk, VCC, , B1L12, , , B1L41, );
--B1L31 is memTest:memt|addr_r[5]~405
--operation mode is arithmetic
B1L31 = CARRY(!B1L11 # !B1_addr_r[5]);
--B1L16 is memTest:memt|reduce_or~567
--operation mode is normal
B1L16 = B1_addr_r[2] & B1_addr_r[3] & B1_addr_r[4] & B1_addr_r[5];
--B1_addr_r[22] is memTest:memt|addr_r[22]
--operation mode is normal
B1_addr_r[22]_carry_eqn = B1L74;
B1_addr_r[22]_lut_out = B1_addr_r[22] $ (!B1_addr_r[22]_carry_eqn);
B1_addr_r[22] = DFFEAS(B1_addr_r[22]_lut_out, clk, VCC, , B1L12, , , B1L41, );
--B1L26 is memTest:memt|reduce_or~568
--operation mode is normal
B1L26 = B1_addr_r[6] & B1_addr_r[7] & B1L16 & !B1_addr_r[22];
--B1L55 is memTest:memt|reduce_or~0
--operation mode is normal
B1L55 = B1L85 & B1L95 & B1L06 & B1L26;
--B1L98 is memTest:memt|state_r~369
--operation mode is normal
B1L98 = B1L55 & (C1_rdPipeline_r[0] # C1_wrPipeline_r[0]);
--B1_state_r.init is memTest:memt|state_r.init
--operation mode is normal
B1_state_r.init_lut_out = B1L88;
B1_state_r.init = DFFEAS(B1_state_r.init_lut_out, clk, VCC, , , , , , );
--C1L69 is sdramCntl:sdram1|cmd_x[4]~959
--operation mode is normal
C1L69 = C1_state_r.rw & C1L601 & (!C1L591);
--C1L611 is sdramCntl:sdram1|combinatorial~162
--operation mode is normal
C1L611 = !C1_wrPipeline_r[0] & !C1_rasTimer_r[1] & !C1_rasTimer_r[0];
--C1L423 is sdramCntl:sdram1|state_x.initsetmode~202
--operation mode is normal
C1L423 = C1_state_r.rw & (!C1L611 # !C1L381);
--C1L523 is sdramCntl:sdram1|state_x.initsetmode~203
--operation mode is normal
C1L523 = !C1L123 & C1L323 & (C1L723 # !C1L423);
--C1L203 is sdramCntl:sdram1|Select~914
--operation mode is normal
C1L203 = C1_state_r.rw & C1L381 & C1L611;
--C1L63 is sdramCntl:sdram1|add~2372
--operation mode is normal
C1L63_carry_eqn = C1L83;
C1L63 = C1_timer_r[13] $ (!C1L63_carry_eqn);
--C1L78 is sdramCntl:sdram1|cke_x~2
--operation mode is normal
C1L78 = C1L002 # C1L502 # C1L243 # !C1_state_r.selfrefresh;
--C1L063 is sdramCntl:sdram1|timer_r[13]~1990
--operation mode is normal
C1L063 = C1L163 & (C1L723 # !C1L511) # !C1L78;
--C1L73 is sdramCntl:sdram1|add~2377
--operation mode is arithmetic
C1L73_carry_eqn = C1L04;
C1L73 = C1_timer_r[12] $ (C1L73_carry_eqn);
--C1L83 is sdramCntl:sdram1|add~2379
--operation mode is arithmetic
C1L83 = CARRY(C1_timer_r[12] # !C1L04);
--C1L93 is sdramCntl:sdram1|add~2382
--operation mode is arithmetic
C1L93_carry_eqn = C1L24;
C1L93 = C1_timer_r[11] $ (!C1L93_carry_eqn);
--C1L04 is sdramCntl:sdram1|add~2384
--operation mode is arithmetic
C1L04 = CARRY(!C1_timer_r[11] & (!C1L24));
--C1L14 is sdramCntl:sdram1|add~2387
--operation mode is arithmetic
C1L14_carry_eqn = C1L44;
C1L14 = C1_timer_r[10] $ (C1L14_carry_eqn);
--C1L24 is sdramCntl:sdram1|add~2389
--operation mode is arithmetic
C1L24 = CARRY(C1_timer_r[10] # !C1L44);
--C1L34 is sdramCntl:sdram1|add~2392
--operation mode is arithmetic
C1L34_carry_eqn = C1L64;
C1L34 = C1_timer_r[9] $ (!C1L34_carry_eqn);
--C1L44 is sdramCntl:sdram1|add~2394
--operation mode is arithmetic
C1L44 = CARRY(!C1_timer_r[9] & (!C1L64));
--C1L54 is sdramCntl:sdram1|add~2397
--operation mode is arithmetic
C1L54_carry_eqn = C1L84;
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -