aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/efinix/brams_map.v
blob: 6786ae76970bc886db9b68328b0615831f39b16c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
module \$__EFINIX_5K (CLK2, CLK3, A1ADDR, A1DATA, A1EN, B1ADDR, B1DATA, B1EN);
	parameter CFG_ABITS = 8;
	parameter CFG_DBITS = 20;
	parameter CFG_ENABLE_A = 1;

	parameter CLKPOL2 = 1;
	parameter CLKPOL3 = 1;
	parameter [5119:0] INIT = 5119'bx;
	parameter TRANSP2 = 0;

	input CLK2;
	input CLK3;

	input [CFG_ABITS-1:0] A1ADDR;
	input [CFG_DBITS-1:0] A1DATA;
	input [CFG_ENABLE_A-1:0] A1EN;

	input [CFG_ABITS-1:0] B1ADDR;
	output [CFG_DBITS-1:0] B1DATA;
	input B1EN;

	localparam WRITEMODE_A = TRANSP2 ? "WRITE_FIRST" : "READ_FIRST";

	EFX_RAM_5K #(
   		.READ_WIDTH(CFG_DBITS),
   		.WRITE_WIDTH(CFG_DBITS),
   		.OUTPUT_REG(1'b0),
   		.RCLK_POLARITY(1'b1),
   		.RE_POLARITY(1'b1),
   		.WCLK_POLARITY(1'b1),
   		.WE_POLARITY(1'b1),
   		.WCLKE_POLARITY(1'b1),
   		.WRITE_MODE(WRITEMODE_A),
		.INIT_0(INIT[ 0*256 +: 256]),
		.INIT_1(INIT[ 1*256 +: 256]),
		.INIT_2(INIT[ 2*256 +: 256]),
		.INIT_3(INIT[ 3*256 +: 256]),
		.INIT_4(INIT[ 4*256 +: 256]),
		.INIT_5(INIT[ 5*256 +: 256]),
		.INIT_6(INIT[ 6*256 +: 256]),
		.INIT_7(INIT[ 7*256 +: 256]),
		.INIT_8(INIT[ 8*256 +: 256]),
		.INIT_9(INIT[ 9*256 +: 256]),
		.INIT_A(INIT[10*256 +: 256]),
		.INIT_B(INIT[11*256 +: 256]),
		.INIT_C(INIT[12*256 +: 256]),
		.INIT_D(INIT[13*256 +: 256]),
		.INIT_E(INIT[14*256 +: 256]),
		.INIT_F(INIT[15*256 +: 256]),
		.INIT_10(INIT[16*256 +: 256]),
		.INIT_11(INIT[17*256 +: 256]),
		.INIT_12(INIT[18*256 +: 256]),
		.INIT_13(INIT[19*256 +: 256])
	) _TECHMAP_REPLACE_ (
   		.WDATA(A1DATA),
   		.WADDR(A1ADDR),
   		.WE(A1EN),
   		.WCLK(CLK2),
   		.WCLKE(1'b1),
   		.RDATA(B1DATA),
   		.RADDR(B1ADDR),
   		.RE(B1EN),
   		.RCLK(CLK3)
	);
endmodule
n> wirebits = sigmap(wire); Const initval = wire->attributes.at("\\init"); init_wires.insert(wire); for (int i = 0; i < GetSize(wirebits) && i < GetSize(initval); i++) { SigBit bit = wirebits[i]; State val = initval[i]; if (val != State::S0 && val != State::S1) continue; if (initbits.count(bit)) { if (initbits.at(bit) != val) { log_warning("Conflicting init values for signal %s (%s = %s, %s = %s).\n", log_signal(bit), log_signal(SigBit(wire, i)), log_signal(val), log_signal(initbit_to_wire[bit]), log_signal(initbits.at(bit))); initbits.at(bit) = State::Sx; } continue; } initbits[bit] = val; initbit_to_wire[bit] = SigBit(wire, i); } } for (auto cell : module->selected_cells()) { if (cell->type != "\\TRELLIS_FF") continue; SigSpec sig_d = cell->getPort("\\DI"); SigSpec sig_q = cell->getPort("\\Q"); SigSpec sig_lsr = cell->getPort("\\LSR"); if (GetSize(sig_d) < 1 || GetSize(sig_q) < 1) continue; SigBit bit_d = sigmap(sig_d[0]); SigBit bit_q = sigmap(sig_q[0]); std::string regset = "RESET"; if (cell->hasParam("\\REGSET")) regset = cell->getParam("\\REGSET").decode_string(); State resetState; if (regset == "SET") resetState = State::S1; else if (regset == "RESET") resetState = State::S0; else log_error("FF cell %s has illegal REGSET value %s.\n", log_id(cell), regset.c_str()); if (!initbits.count(bit_q)) continue; State val = initbits.at(bit_q); if (val == State::Sx) continue; log("FF init value for cell %s (%s): %s = %c\n", log_id(cell), log_id(cell->type), log_signal(bit_q), val != State::S0 ? '1' : '0'); // Initval is the same as the reset state. Matches hardware, nowt more to do if (val == resetState) { handled_initbits.insert(bit_q); continue; } if (GetSize(sig_lsr) >= 1 && sig_lsr[0] != State::S0) { std::string srmode = "LSR_OVER_CE"; if (cell->hasParam("\\SRMODE")) srmode = cell->getParam("\\SRMODE").decode_string(); if (srmode == "ASYNC") { log("Async reset value %c for FF cell %s inconsistent with init value %c.\n", resetState != State::S0 ? '1' : '0', log_id(cell), val != State::S0 ? '1' : '0'); } else { SigBit bit_lsr = sigmap(sig_lsr[0]); Wire *new_bit_d = module->addWire(NEW_ID); if (resetState == State::S0) { module->addAndnotGate(NEW_ID, bit_d, bit_lsr, new_bit_d); } else { module->addOrGate(NEW_ID, bit_d, bit_lsr, new_bit_d); } cell->setPort("\\DI", new_bit_d); cell->setPort("\\LSR", State::S0); if(cell->hasPort("\\CE")) { std::string cemux = "CE"; if (cell->hasParam("\\CEMUX")) cemux = cell->getParam("\\CEMUX").decode_string(); SigSpec sig_ce = cell->getPort("\\CE"); if (GetSize(sig_ce) >= 1) { SigBit bit_ce = sigmap(sig_ce[0]); Wire *new_bit_ce = module->addWire(NEW_ID); if (cemux == "INV") module->addAndnotGate(NEW_ID, bit_ce, bit_lsr, new_bit_ce); else module->addOrGate(NEW_ID, bit_ce, bit_lsr, new_bit_ce); cell->setPort("\\CE", new_bit_ce); } } cell->setParam("\\REGSET", val != State::S0 ? Const("SET") : Const("RESET")); handled_initbits.insert(bit_q); } } else { cell->setParam("\\REGSET", val != State::S0 ? Const("SET") : Const("RESET")); handled_initbits.insert(bit_q); } } for (auto wire : init_wires) { if (wire->attributes.count("\\init") == 0) continue; SigSpec wirebits = sigmap(wire); Const &initval = wire->attributes.at("\\init"); bool remove_attribute = true; for (int i = 0; i < GetSize(wirebits) && i < GetSize(initval); i++) { if (handled_initbits.count(wirebits[i])) initval[i] = State::Sx; else if (initval[i] != State::Sx) remove_attribute = false; } if (remove_attribute) wire->attributes.erase("\\init"); } } } } Ecp5FfinitPass; PRIVATE_NAMESPACE_END