Warp-SE/cpld/CNT.v

111 lines
2.9 KiB
Coq
Raw Permalink Normal View History

2021-10-29 10:04:59 +00:00
module CNT(
/* FSB clock and E clock inputs */
2024-10-03 09:51:10 +00:00
input CLK, input E,
2021-10-29 10:04:59 +00:00
/* Refresh request */
output reg RefReq, output reg RefUrg,
2023-03-26 08:33:59 +00:00
/* Reset, button */
output reg nRESout, input nRESin, input nIPL2,
2023-03-20 04:53:10 +00:00
/* Mac PDS bus master control outputs */
2023-04-08 09:46:13 +00:00
output reg AoutOE, output reg nBR_IOB,
/* QoS control */
2024-09-06 10:05:06 +00:00
input BACT,
2024-10-03 09:51:10 +00:00
input QoSCS,
output reg QoSEN);
2023-03-26 08:33:59 +00:00
/* E clock synchronization */
reg [1:0] Er; always @(posedge CLK) Er[1:0] <= { Er[0], E };
2023-03-26 08:33:59 +00:00
wire EFall = Er[1] && !Er[0];
/* NMI and reset synchronization */
2023-04-08 09:46:13 +00:00
reg nIPL2r; always @(posedge CLK) nIPL2r <= nIPL2;
reg nRESr; always @(posedge CLK) nRESr <= nRESin;
2023-04-08 09:49:29 +00:00
/* Startup sequence state */
reg [1:0] IS = 0;
2022-09-04 01:32:05 +00:00
/* Timer counts from 0 to 1010 (10) -- 11 states == 14.042 us
2023-03-22 01:11:58 +00:00
* Refresh timer sequence
2023-04-08 08:08:53 +00:00
* | Timer | RefReq | RefUrg |
* |---------|--------|-----------|
2023-03-22 01:11:58 +00:00
* | 0 0000 | 0 | 0 |
2023-04-08 08:08:53 +00:00
* | 1 0001 | 1 | 0 |
2023-03-26 08:33:59 +00:00
* | 2 0010 | 1 | 0 |
2023-03-22 01:11:58 +00:00
* | 3 0011 | 1 | 0 |
* | 4 0100 | 1 | 0 |
* | 5 0101 | 1 | 0 |
* | 6 0110 | 1 | 0 |
* | 7 0111 | 1 | 0 |
2023-04-08 08:08:53 +00:00
* | 8 1000 | 1 | 0 |
* | 9 1001 | 1 | 1 |
* | 10 1010 | 1 | 1 |
2023-03-20 04:53:10 +00:00
* back to timer==0
2022-09-04 01:32:05 +00:00
*/
2023-03-22 01:11:58 +00:00
reg [3:0] Timer = 0;
reg TimerTC;
2023-03-26 08:33:59 +00:00
always @(posedge CLK) begin
if (EFall) begin
if (TimerTC) Timer <= 0;
else Timer <= Timer+1;
RefUrg <= Timer==8 || Timer==9;
RefReq <= Timer!=10;
TimerTC <= Timer==9;
end
2021-10-29 10:04:59 +00:00
end
2024-10-03 09:51:10 +00:00
/* During init (IS!=3) long timer counts from 0 to 4095.
* 4096 states == 57.516 ms */
2024-10-01 05:09:25 +00:00
reg [11:0] LTimer;
2024-10-03 09:51:10 +00:00
reg LTimerTC;
always @(posedge CLK) begin
2024-10-03 09:51:10 +00:00
if (EFall && TimerTC) begin
LTimer <= LTimer+1;
LTimerTC <= LTimer[11:0]==12'hFFE;
end
end
2024-10-03 09:51:10 +00:00
/* QoS select latch */
reg QoSCSr;
always @(posedge CLK) if (BACT) QoSCSr <= QoSCS;
2024-10-03 09:51:10 +00:00
/* QoS timer
* In the absence of a QoS trigger, QS==0.
* When Qos triggered, QS is set to 1 and counts 1, 2, 3, 0.
* While QS!=0, QoS is enabled.
* QoS enable period is 28.124 us - 42.240 us */
reg [1:0] QS;
2023-04-08 09:46:13 +00:00
always @(posedge CLK) begin
2024-10-03 09:51:10 +00:00
if (!nRESr || QoSCSr) QS[1:0] <= 1;
else if (QS==0) QS[1:0] <= 0;
else if (EFall && TimerTC) QS[1:0] <= QS+1;
end
2024-10-03 09:51:10 +00:00
/* QoS enable control */
always @(posedge CLK) if (!BACT) QoSEN <= QoSCSr || QS!=0;
2024-09-29 07:29:49 +00:00
2023-04-08 09:49:29 +00:00
/* Startup sequence state control */
2023-04-08 09:46:13 +00:00
wire ISTC = EFall && TimerTC && LTimerTC;
2023-03-26 08:33:59 +00:00
always @(posedge CLK) begin
2023-04-08 09:46:13 +00:00
case (IS[1:0])
2023-04-10 02:47:27 +00:00
0: begin
2023-03-20 04:53:10 +00:00
AoutOE <= 0; // Tristate PDS address and control
nRESout <= 0; // Hold reset low
2023-03-22 01:11:58 +00:00
nBR_IOB <= 0; // Default to request bus
2023-04-08 09:46:13 +00:00
if (ISTC) IS <= 1;
2023-04-10 02:47:27 +00:00
end 1: begin
2023-03-26 08:33:59 +00:00
AoutOE <= 0;
nRESout <= 0;
nBR_IOB <= !(!nBR_IOB && nIPL2r); // Disable bus request if NMI pressed
2023-04-08 09:46:13 +00:00
if (ISTC && nIPL2r) IS <= 2;
2023-04-10 02:47:27 +00:00
end 2: begin
2023-03-26 08:33:59 +00:00
AoutOE <= !nBR_IOB;
nRESout <= 0;
2023-04-08 09:46:13 +00:00
if (ISTC) IS <= 3;
2023-04-10 02:47:27 +00:00
end 3: begin
nRESout <= 1; // Release reset
2024-10-03 09:51:10 +00:00
IS <= 3;
2022-09-04 01:32:05 +00:00
end
2022-09-11 21:15:53 +00:00
endcase
end
2024-10-03 09:51:10 +00:00
2021-10-29 10:04:59 +00:00
endmodule