From 6a9fcdd115f0f4ba9802806331d7eaff6be04311 Mon Sep 17 00:00:00 2001 From: Brandon Schneider Date: Thu, 28 May 2026 16:36:37 -0500 Subject: [PATCH] =?UTF-8?q?fix:=20Blitter=20UART=20divisor=20234=E2=86=922?= =?UTF-8?q?33=20to=20match=20Lean=20uartBaudDivisor=20proof?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Both now 115384 baud at 27MHz (within 0.16% of 115200). Lean theorem uartBaudRateHz_within_1pct_of_115200 applies to both. --- 4-Infrastructure/hardware/Blitter6502OISC_small.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/4-Infrastructure/hardware/Blitter6502OISC_small.v b/4-Infrastructure/hardware/Blitter6502OISC_small.v index da9d849a..9b16f9bb 100644 --- a/4-Infrastructure/hardware/Blitter6502OISC_small.v +++ b/4-Infrastructure/hardware/Blitter6502OISC_small.v @@ -233,7 +233,7 @@ module Blitter6502OISC ( reg [9:0] uart_shift; reg uart_active; - localparam UART_DIV = 16'd234; // ~115200 baud at 27MHz + localparam UART_DIV = 16'd233; // 115384 baud at 27MHz (matches Lean uartBaudDivisor) always @(posedge clk or negedge rst_n) begin if (!rst_n) begin