From 4e42133b6e8f628fa39113c881d94fb454d52905 Mon Sep 17 00:00:00 2001
From: Renze Nicolai <renze@rnplus.nl>
Date: Wed, 18 May 2022 22:55:33 +0200
Subject: [PATCH] Add FPGA bitstream uploading tool

---
 fpga/fpga.py | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 fpga/fpga.py

diff --git a/fpga/fpga.py b/fpga/fpga.py
new file mode 100644
index 0000000..d0cf7da
--- /dev/null
+++ b/fpga/fpga.py
@@ -0,0 +1,33 @@
+#!/usr/bin/env python3
+
+import binascii, serial, time, sys, argparse
+
+parser = argparse.ArgumentParser(description='MCH2022 badge FPGA bitstream programming tool')
+parser.add_argument("port", help="Serial port")
+parser.add_argument("bitstream", help="Bitstream binary")
+args = parser.parse_args()
+
+with open(args.bitstream, "rb") as f:
+    bitstream = f.read()
+
+port = serial.Serial(args.port, 921600, timeout=1)
+print("Waiting for badge...")
+while True:
+    data = port.read(4)
+    if (data == b"FPGA"):
+        break
+port.write(b'FPGA' + (len(bitstream).to_bytes(4, byteorder='little')) + binascii.crc32(bitstream).to_bytes(4, byteorder='little'))
+time.sleep(0.5)
+sent = 0
+print("Sending data", end="")
+while len(bitstream) - sent > 0:
+    print(".", end="")
+    sys.stdout.flush()
+    txLength = len(bitstream)
+    if txLength > 2048:
+        txLength = 2048
+    port.write(bitstream[sent:sent + txLength])
+    time.sleep(0.05)
+    sent += txLength
+port.close()
+print("\n")