fix: replace Popen readline loop with subprocess.run for Windows pipe reliability; add close_hw before quit in TCL; revert console=True

- ping_ip returns bool, not tuple — fixed 2 unpack errors
- TftpSubStepFrame: _skipped set prevents set_phase from overwriting Skip
- set_expanded(True) before skip marking so UI shows it immediately
- After Step 3 success, fix IP to 192.168.100.11

.gitignore

@@ -33,8 +33,22 @@ htmlcov/
 # ── Opencode (internal tooling) ──────────────────────────────
 .opencode/
 
-# ── Config overrides (user-specific) ─────────────────────────
+# ── Config (user-specific, auto-generated if missing) ─────────
+config.yaml
 config/zynq_flasher.yaml
 
 # ── Logs ─────────────────────────────────────────────────────
 *.log
+
+# ── Vivado / Xilinx temp files ────────────────────────────────
+vivado.jou
+vivado.log
+vivado_*.backup.jou
+vivado_*.backup.log
+vivado_*.str
+hs_err_pid*.log
+webtalk*.jou
+webtalk*.log
+usage_statistics_*
+xicom_zynq_bin*
+*.pcapng

ZynqFlasher.spec

@@ -0,0 +1,63 @@
+# -*- mode: python ; coding: utf-8 -*-
+"""PyInstaller spec for Zynq Flasher — Windows x64 single-exe build.
+
+Usage:
+    pyinstaller --clean --noconfirm ZynqFlasher.spec
+    → output: dist/ZynqFlasher.exe
+"""
+
+from PyInstaller.utils.hooks import collect_data_files, collect_submodules
+
+block_cipher = None
+
+a = Analysis(
+    ['app.py'],
+    pathex=['src'],
+    binaries=[],
+    datas=[
+        # CustomTkinter themes, fonts, icons — auto-collected
+        *collect_data_files('customtkinter'),
+        # Default config shipped as template
+        ('config/default_config.yaml', 'config'),
+    ],
+    hiddenimports=[
+        *collect_submodules('customtkinter'),
+        'darkdetect',
+        'yaml',
+        'serial',
+        'serial.tools',
+        'serial.tools.list_ports',
+    ],
+    hookspath=[],
+    hooksconfig={},
+    runtime_hooks=[],
+    excludes=[],
+    win_no_prefer_redirects=False,
+    win_private_assemblies=False,
+    cipher=block_cipher,
+    noarchive=False,
+)
+
+pyz = PYZ(a.pure)
+
+exe = EXE(
+    pyz,
+    a.scripts,
+    a.binaries,
+    a.zipfiles,
+    a.datas,
+    [],
+    name='ZynqFlasher',
+    debug=False,
+    bootloader_ignore_signals=False,
+    strip=False,
+    upx=True,
+    upx_exclude=[],
+    runtime_tmpdir=None,
+    console=True,       # show console for terminal log output
+    disable_windowed_traceback=False,
+    argv_emulation=False,
+    target_arch=None,
+    codesign_identity=None,
+    entitlements_file=None,
+)

build_windows.bat

@@ -0,0 +1,47 @@
+@echo off
+setlocal
+
+echo ============================================================
+echo   Zynq Flasher — Windows x64 Build Script
+echo ============================================================
+echo.
+
+REM ── 1. Check Python ─────────────────────────────────────────
+python --version >nul 2>&1
+if %errorlevel% neq 0 (
+    echo [ERROR] Python not found. Install Python 3.9+ first.
+    pause
+    exit /b 1
+)
+echo [1/4] Python: OK
+
+REM ── 2. Install dependencies ─────────────────────────────────
+echo [2/4] Installing Python packages...
+pip install -r requirements.txt --quiet
+pip install pyinstaller --quiet
+echo        Done.
+
+REM ── 3. Clean previous builds ────────────────────────────────
+echo [3/4] Cleaning previous builds...
+if exist build rmdir /s /q build
+if exist dist\ZynqFlasher.exe del /q dist\ZynqFlasher.exe
+if not exist dist mkdir dist
+
+REM ── 4. Build ────────────────────────────────────────────────
+echo [4/4] Building ZynqFlasher.exe...
+pyinstaller --clean --noconfirm ZynqFlasher.spec
+
+echo.
+if exist dist\ZynqFlasher.exe (
+    echo ============================================================
+    echo   Build successful!
+    echo   Output: dist\ZynqFlasher.exe
+    echo ============================================================
+) else (
+    echo [ERROR] Build failed — dist\ZynqFlasher.exe not found.
+    pause
+    exit /b 1
+)
+
+endlocal
+pause

config.yaml

@@ -1,26 +0,0 @@
-bootloader_bin_path: /home/ly0kos/work/Verify/FW/tftp_app/bootloader/bootloader_z100_800M.bin
-bootloader_bit_path: /home/ly0kos/work/Verify/FW/tftp_app/bootloader/pl_arm_wrapper_hw_platform_0/pl_arm_wrapper.bit
-bootloader_elf_path: /home/ly0kos/work/Verify/FW/tftp_app/tftp_app/tftp.elf
-erase_all: false
-firmware_bin_path: /home/ly0kos/work/Verify/FW/V1.3.1.3.3_06_01_pmu_cpld_check/V1.3.1.3.3_06_01_pmu_cpld_check.bin
-flash_model: s25fl256s1
-flash_type: qspi-x4-single
-fsbl_elf_path: /home/ly0kos/work/Verify/FPGA/Xilinx/Z100/fsbl_qspi_bypass.elf
-inter_step_delay: 2
-ping_count: 3
-ping_timeout: 5
-reboot_timeout: 30
-serial_baudrate: 115200
-serial_port: /dev/ttyUSB0
-step_timeouts:
-  bitstream: 60
-  check_env: 30
-  elf_download: 60
-  flash_erase: 120
-  flash_program: 600
-  tftp_reboot: 120
-tftp_upload_name: z7bin
-uart_delay: 3
-boot_wait_delay: 10
-xilinx_path: /data/xilinx
-zynq_ip: 192.168.100.11

src/bitstream_programmer.py

@@ -11,14 +11,13 @@ Compatible with Xilinx 2018.3 — 2023.2.
 from __future__ import annotations
 
 import os
-import shutil
 import subprocess
 from dataclasses import dataclass
 from pathlib import Path
 from typing import Callable
 
 from config_manager import Config
-from vitis_checker import get_xsct_path
+from vitis_checker import get_xsct_path, get_vivado_path
 
 # ── Types ───────────────────────────────────────────────────────────
 
@@ -38,33 +37,13 @@ ProgressCallback = Callable[[str, str], None] | None
 # ── Helpers ─────────────────────────────────────────────────────────
 
 
-def _get_vivado_path(vitis_path: str) -> str | None:
-    """Find the Vivado executable.
+def _tcl_path(path: str | Path) -> str:
+    """Convert a filesystem path to TCL-safe format.
 
-    Uses shutil.which() for PATH resolution, then common install paths.
-
-    Args:
-        vitis_path: Optional Vitis installation directory.
-
-    Returns:
-        Path to vivado executable, or None.
+    TCL interprets backslashes as escape sequences (\\f, \\t, \\n).
+    Forward slashes work on all platforms including Windows.
     """
-    found = shutil.which("vivado")
-    if found:
-        return found
-    if vitis_path:
-        candidate = Path(vitis_path) / "bin" / "vivado"
-        if candidate.is_file():
-            return str(candidate)
-    common = [
-        "/data/xilinx/Vivado/2023.2/bin/vivado",
-        "/opt/xilinx/bin/vivado",
-        os.path.expanduser("~/Xilinx/Vivado/2023.2/bin/vivado"),
-    ]
-    for p in common:
-        if os.path.isfile(p):
-            return p
-    return None
+    return str(path).replace("\\", "/")
 
 
 def _find_ps7_init_tcl(config: Config) -> str:
@@ -167,16 +146,15 @@ def program_bitstream(
 
     # Try xsct first (preferred)
     xsct = get_xsct_path(
-        vitis_path=config.vitis_path if hasattr(config, 'vitis_path') else "",
-        xilinx_root=config.xilinx_path if hasattr(config, 'xilinx_path') else "",
+        xilinx_root=getattr(config, "xilinx_path", ""),
     )
     if xsct:
         timeout = config.step_timeouts.get("bitstream", 60)
         return _program_with_xsct(xsct, bit_path, callback, ps7_tcl, timeout)
 
     # Fallback to Vivado
-    vivado = _get_vivado_path(
-        config.vitis_path if hasattr(config, 'vitis_path') else ""
+    vivado = get_vivado_path(
+        xilinx_root=getattr(config, "xilinx_path", ""),
     )
     if vivado:
         return _program_with_vivado(vivado, bit_path, callback)
@@ -218,11 +196,11 @@ def _program_with_xsct(
     lines = ["connect"]
     if ps7_init_tcl and Path(ps7_init_tcl).exists():
         lines.append("targets 1")
-        lines.append(f'source "{ps7_init_tcl}"')
+        lines.append(f'source "{_tcl_path(ps7_init_tcl)}"')
         lines.append("ps7_init")
         if callback:
             callback("progress", "PS initialized (clocks, DDR, MIO)")
-    lines.append(f'fpga -file "{bit_path}"')
+    lines.append(f'fpga -file {{{_tcl_path(bit_path)}}}')
     if ps7_init_tcl and Path(ps7_init_tcl).exists():
         lines.append("ps7_post_config")
         if callback:
@@ -293,12 +271,14 @@ def _program_with_vivado(
         callback("progress", "Using Vivado Hardware Manager...")
 
     tcl_content = f"""
-open_hw_manager
+open_hw
 connect_hw_server
 open_hw_target
 current_hw_device [lindex [get_hw_devices] 0]
 program_hw_device -file "{bit_path}"
 refresh_hw_device
+close_hw
+disconnect_hw_server
 quit
 """
     tcl_path = bit_path.parent / "temp_program.tcl"
@@ -364,8 +344,7 @@ def run_elf(
         callback("start", f"Running ELF: {elf_path.name}...")
 
     xsct = get_xsct_path(
-        vitis_path=config.vitis_path if hasattr(config, 'vitis_path') else "",
-        xilinx_root=config.xilinx_path if hasattr(config, 'xilinx_path') else "",
+        xilinx_root=getattr(config, "xilinx_path", ""),
     )
     if not xsct:
         return BitstreamResult(
@@ -413,13 +392,13 @@ def _run_elf_via_fsbl(
     tcl = "\n".join([
         "connect",
         "targets 2",
-        "dow \"%s\"" % fsbl_path,
+        "dow {%s}" % _tcl_path(fsbl_path),
         "puts \"FSBL downloaded\"",
         "con",
         "after 3000",
         "stop",
         "puts \"FSBL done, CPU halted\"",
-        "dow \"%s\"" % elf_path,
+        "dow {%s}" % _tcl_path(elf_path),
         "mwr 0xF800025C 0x00000001",
         "con",
         "puts \"App running\"",
@@ -493,7 +472,7 @@ def _run_elf_direct(
     tcl = "\n".join([
         "connect",
         "targets 2",
-        "dow \"%s\"" % elf_path,
+        "dow {%s}" % _tcl_path(elf_path),
         "mwr 0xF800025C 0x00000001",
         "con",
         "exit",
@@ -579,8 +558,7 @@ def full_bitstream_program(
                 message=f"FSBL not found: {fsbl_path or '(not configured)'}")]
 
     xsct = get_xsct_path(
-        vitis_path=config.vitis_path if hasattr(config, 'vitis_path') else "",
-        xilinx_root=config.xilinx_path if hasattr(config, 'xilinx_path') else "",
+        xilinx_root=getattr(config, "xilinx_path", ""),
     )
     if not xsct:
         return [BitstreamResult(step="bitstream", success=False,
@@ -653,18 +631,18 @@ def full_bitstream_program(
         "rst -processor",
         "after 500",
         'puts "INFO: Downloading FSBL..."',
-        'dow "%s"' % fsbl_path,
+        'dow {%s}' % _tcl_path(fsbl_path),
         'puts "INFO: Running FSBL for hardware initialization..."',
         "con",
         "after 2000",
         "stop",
         'puts "INFO: Hardware initialization completed."',
         'puts "INFO: Downloading Bitstream..."',
-        'fpga -f "%s"' % bit_path,
+        'fpga -f {%s}' % _tcl_path(bit_path),
         "after 1000",
         'targets -set -nocase -filter {name =~ "arm*#0"}',
         'puts "INFO: Downloading Application ELF..."',
-        'dow "%s"' % elf_path,
+        'dow {%s}' % _tcl_path(elf_path),
         'puts "INFO: Executing Application..."',
         "con",
         'puts "SUCCESS: Zynq target is running the specified application."',

src/config_manager.py

@@ -17,6 +17,7 @@ import yaml
 DEFAULT_CONFIG: dict[str, Any] = {
     "xilinx_path": "",
     "zynq_ip": "192.168.100.11",
+    "zynq_part": "XC7Z100",
     "tftp_upload_name": "z7bin",
     "serial_port": "",
     "serial_baudrate": 115200,
@@ -27,15 +28,16 @@ DEFAULT_CONFIG: dict[str, Any] = {
     "flash_type": "qspi-x4-single",
     "flash_model": "s25fl256s1",
     "erase_all": False,
+    "download_verify": True,
     "firmware_bin_path": "",
     "reboot_timeout": 30,
     "ping_timeout": 5,
     "ping_count": 3,
     "uart_delay": 3,
     "inter_step_delay": 2,
-    "boot_wait_delay": 10,
+    "boot_wait_delay": 30,
     "step_timeouts": {
-        "check_env": 30,
+        "check_env": 120,
         "flash_erase": 120,
         "flash_program": 600,
         "bitstream": 60,
@@ -55,6 +57,7 @@ class Config:
 
     xilinx_path: str = ""
     zynq_ip: str = "192.168.100.11"
+    zynq_part: str = "XC7Z100"
     tftp_upload_name: str = "z7bin"
     serial_port: str = ""
     serial_baudrate: int = 115200
@@ -65,13 +68,14 @@ class Config:
     flash_type: str = "qspi-x4-single"
     flash_model: str = "s25fl256s1"
     erase_all: bool = False
+    download_verify: bool = True
     firmware_bin_path: str = ""
     reboot_timeout: int = 30
     ping_timeout: int = 5
     ping_count: int = 3
     uart_delay: int = 3
     inter_step_delay: int = 2
-    boot_wait_delay: int = 10
+    boot_wait_delay: int = 30
     step_timeouts: dict[str, int] = field(default_factory=lambda: {})
 
     # Internal: path to the config file on disk
@@ -174,6 +178,7 @@ class Config:
             "flash_type": self.flash_type,
             "flash_model": self.flash_model,
             "erase_all": self.erase_all,
+            "download_verify": self.download_verify,
             "firmware_bin_path": self._relative_path(self.firmware_bin_path),
             "reboot_timeout": self.reboot_timeout,
             "ping_timeout": self.ping_timeout,
@@ -188,8 +193,11 @@ class Config:
     def _relative_path(self, path: str) -> str:
         """Convert an absolute path to a relative path from the config file.
 
+        Uses :func:`os.path.relpath` which works across filesystem
+        boundaries (unlike :meth:`Path.relative_to`).
+
         Args:
-            path: Absolute path string.
+            path: Absolute or relative path string.
 
         Returns:
             Relative path string, or the original if conversion fails.
@@ -199,7 +207,8 @@ class Config:
         try:
             target = Path(path)
             if target.is_absolute():
-                return str(target.relative_to(self._config_path.parent))
+                base = str(self._config_path.parent)
+                return os.path.relpath(str(target), base)
         except (ValueError, OSError):
             pass
         return path
@@ -217,6 +226,34 @@ class Config:
             return Path()
         return (self._config_path.parent / relative_path).resolve()
 
+    def validate_paths(self) -> list[str]:
+        """Validate file paths in config and clear those that don't exist.
+
+        Checks each file path field, resolves it against the config
+        directory, and clears it if the target file does not exist
+        on the current filesystem.
+
+        Returns:
+            List of field names that were cleared.
+        """
+        cleared: list[str] = []
+        path_fields = [
+            "bootloader_bit_path",
+            "bootloader_elf_path",
+            "bootloader_bin_path",
+            "fsbl_elf_path",
+            "firmware_bin_path",
+        ]
+        for attr in path_fields:
+            val = getattr(self, attr, "")
+            if not val:
+                continue
+            resolved = self.resolve_path(val)
+            if not resolved.is_file():
+                setattr(self, attr, "")
+                cleared.append(attr)
+        return cleared
+
     @property
     def config_path(self) -> Path | None:
         """Return the path to the config file on disk."""

src/file_utils.py

@@ -0,0 +1,82 @@
+"""File metadata utilities — CRC32, human-readable size, timestamps."""
+
+from __future__ import annotations
+
+import datetime
+import os
+import zlib
+from dataclasses import dataclass
+from pathlib import Path
+
+
+@dataclass
+class FileInfo:
+    """Computed metadata for a single file."""
+
+    path: str
+    exists: bool = False
+    size: int = 0
+    crc32: int = 0
+    mtime: float = 0.0
+
+    @property
+    def size_human(self) -> str:
+        """Human-readable file size (KiB / MiB / GiB)."""
+        if self.size >= 1_073_741_824:
+            return f"{self.size / 1_073_741_824:.2f} GiB"
+        if self.size >= 1_048_576:
+            return f"{self.size / 1_048_576:.2f} MiB"
+        if self.size >= 1_024:
+            return f"{self.size / 1_024:.2f} KiB"
+        return f"{self.size} B"
+
+    @property
+    def mtime_iso(self) -> str:
+        """ISO-formatted modification time, or empty string."""
+        if not self.mtime:
+            return ""
+        return datetime.datetime.fromtimestamp(self.mtime).strftime(
+            "%Y-%m-%d %H:%M:%S"
+        )
+
+    @property
+    def crc32_hex(self) -> str:
+        """8-character hex CRC32 representation."""
+        return f"{self.crc32 & 0xFFFFFFFF:08X}"
+
+
+def compute_file_info(file_path: str | Path) -> FileInfo:
+    """Compute size, CRC32, and modification time for a file.
+
+    If the file does not exist or cannot be read, the returned
+    ``FileInfo`` will have ``exists=False`` and all numeric fields
+    set to zero.
+
+    Args:
+        file_path: Absolute or relative path to the file.
+
+    Returns:
+        FileInfo dataclass with computed metadata.
+    """
+    path = Path(file_path)
+    info = FileInfo(path=str(path))
+    if not path.is_file():
+        return info
+    info.exists = True
+    try:
+        stat = path.stat()
+        info.size = stat.st_size
+        info.mtime = stat.st_mtime
+    except OSError:
+        return info
+
+    # CRC32
+    try:
+        value = 0
+        with open(path, "rb") as f:
+            while chunk := f.read(1_048_576):  # 1 MiB chunks
+                value = zlib.crc32(chunk, value)
+        info.crc32 = value
+    except OSError:
+        pass
+    return info

src/flash_programmer.py

@@ -10,6 +10,7 @@ Compatible with Xilinx 2018.3 — 2023.2.
 from __future__ import annotations
 
 import binascii
+import re
 import subprocess
 from dataclasses import dataclass
 from pathlib import Path
@@ -35,6 +36,27 @@ ProgressCallback = Callable[[str, str], None] | None
 
 # ── Helpers ─────────────────────────────────────────────────────────
 
+# Keywords in program_flash output that indicate failure even with rc=0
+_FAIL_KEYWORDS = [
+    "failed", "cannot", "abort",
+    "invalid", "unsupported", "timeout",
+]
+
+
+def _output_has_error(output: str) -> str:
+    """Check combined stdout+stderr for known failure keywords.
+
+    Returns the first matching line, or empty string if clean.
+    """
+    lowered = output.lower()
+    for kw in _FAIL_KEYWORDS:
+        if kw in lowered:
+            # Find the actual line
+            for line in output.splitlines():
+                if kw in line.lower():
+                    return line.strip()[:200]
+    return ""
+
 
 def _run_command(
     cmd: list[str],
@@ -113,8 +135,7 @@ def wipe_flash(
         FlashResult with status.
     """
     flash_tool = get_program_flash_path(
-        vitis_path=config.vitis_path if hasattr(config, 'vitis_path') else "",
-        xilinx_root=config.xilinx_path if hasattr(config, 'xilinx_path') else "",
+        xilinx_root=getattr(config, "xilinx_path", ""),
     )
     if not flash_tool:
         return FlashResult(
@@ -168,12 +189,27 @@ def wipe_flash(
                 callback=callback,
             )
 
-        success = result.returncode == 0
+        combined = result.stdout + result.stderr
+        err_line = _output_has_error(combined)
+        if err_line:
+            return FlashResult(
+                step="wipe",
+                success=False,
+                message=f"Flash erase failed: {err_line}",
+                output=combined[:4000],
+            )
+        if result.returncode != 0:
+            return FlashResult(
+                step="wipe",
+                success=False,
+                message=f"Flash erase failed (exit {result.returncode})",
+                output=combined[:4000],
+            )
         return FlashResult(
             step="wipe",
-            success=success,
-            message="Flash erased successfully" if success else "Flash erase failed",
-            output=(result.stdout + result.stderr)[:4000],
+            success=True,
+            message="Flash erased successfully",
+            output=combined[:4000],
         )
     except subprocess.TimeoutExpired:
         return FlashResult(step="wipe", success=False, message="Flash erase timed out")
@@ -229,8 +265,7 @@ def program_flash_bin(
         )
 
     flash_tool = get_program_flash_path(
-        vitis_path=config.vitis_path if hasattr(config, 'vitis_path') else "",
-        xilinx_root=config.xilinx_path if hasattr(config, 'xilinx_path') else "",
+        xilinx_root=getattr(config, "xilinx_path", ""),
     )
     if not flash_tool:
         return FlashResult(
@@ -254,12 +289,27 @@ def program_flash_bin(
 
     try:
         result = _run_command(cmd, timeout=config.step_timeouts.get("flash_program", 600), callback=callback)
-        success = result.returncode == 0
+        combined = result.stdout + result.stderr
+        err_line = _output_has_error(combined)
+        if err_line:
+            return FlashResult(
+                step="program",
+                success=False,
+                message=f"Flash programming failed: {err_line}",
+                output=combined[:4000],
+            )
+        if result.returncode != 0:
+            return FlashResult(
+                step="program",
+                success=False,
+                message=f"Flash programming failed (exit {result.returncode})",
+                output=combined[:4000],
+            )
         return FlashResult(
             step="program",
-            success=success,
-            message="Flash programmed successfully" if success else "Flash programming failed",
-            output=(result.stdout + result.stderr)[:4000],
+            success=True,
+            message="Flash programmed successfully",
+            output=combined[:4000],
         )
     except subprocess.TimeoutExpired:
         return FlashResult(step="program", success=False, message="Flash programming timed out (600s)")

src/gui/widgets.py

@@ -6,6 +6,7 @@ consistent styling from gui/styles.py.
 
 from __future__ import annotations
 
+import os
 import threading
 
 import customtkinter as ctk
@@ -436,54 +437,91 @@ class ProgressIndicator(ctk.CTkFrame):
 
 
 class StatusDisplay(ctk.CTkFrame):
-    """Status display widget for operation results.
+    """Info display widget — persistent key-value file/device info.
 
-    Shows a status message with color-coded feedback.
+    Shows aligned ``key : value`` lines for file metadata, Zynq
+    part info, tool versions, etc.
     """
 
     def __init__(self, master, **kwargs):
-        """Initialize the status display.
-
-        Args:
-            master: Parent widget.
-        """
         super().__init__(master, **kwargs)
-
+        self._info_items: list[tuple[str, str]] = []
         self._create_widgets()
 
     def _create_widgets(self) -> None:
-        """Create the status display UI."""
-        self._status_label = ctk.CTkLabel(
+        self.grid_rowconfigure(0, weight=1)
+        self.grid_columnconfigure(0, weight=1)
+
+        self._info_text = ctk.CTkTextbox(
             self,
-            text="Ready",
             font=FONT_BODY,
-            anchor="w",
+            corner_radius=CORNER_RADIUS,
+            state="disabled",
+            wrap="word",
         )
-        self._status_label.pack(
-            fill="x", padx=PADDING, pady=PADDING_SMALL
+        self._info_text.grid(
+            row=0, column=0, sticky="nsew", padx=PADDING, pady=PADDING_SMALL
         )
 
+        # Pre-configure tags
+        for name, color in [
+            ("info_label", PRIMARY_COLOR),
+            ("info_value", DESC_TEXT_COLOR if _is_dark() else DESC_TEXT_COLOR_LIGHT),
+        ]:
+            self._info_text.tag_config(name, foreground=color)
+
     def set_status(self, message: str, status: str = "info") -> None:
-        """Update the status message and color.
+        """Compatibility stub — status messages go to log now."""
+
+    def set_info(self, key: str, value: str) -> None:
+        """Set or update a persistent info line.
+
+        Displays as ``key : value`` in the info block.
 
         Args:
-            message: Status message text.
-            status: Status type for coloring ('info', 'success', 'error', 'warning').
+            key: Label for the info line.
+            value: Value string.
         """
-        self._status_label.configure(text=message)
-        colors = {
-            "info": INFO_COLOR,
-            "success": SUCCESS_COLOR,
-            "error": DANGER_COLOR,
-            "warning": WARNING_COLOR,
-        }
-        self._status_label.configure(text_color=colors.get(status, INFO_COLOR))
+        for i, (k, _) in enumerate(self._info_items):
+            if k == key:
+                self._info_items[i] = (key, value)
+                break
+        else:
+            self._info_items.append((key, value))
+        self._refresh_info()
+
+    def clear_info(self) -> None:
+        """Remove all persistent info lines."""
+        self._info_items.clear()
+        self._info_text.configure(state="normal")
+        self._info_text.delete("1.0", "end")
+        self._info_text.configure(state="disabled")
+
+    def _refresh_info(self) -> None:
+        """Rebuild the info text block from current items."""
+        self._info_text.configure(state="normal")
+        self._info_text.delete("1.0", "end")
+        if not self._info_items:
+            self._info_text.configure(state="disabled")
+            return
+        max_key = max(len(k) for k, _ in self._info_items)
+        for key, value in self._info_items:
+            line = f"{key.ljust(max_key + 2)} {value}\n"
+            start = self._info_text.index("end-1c")
+            self._info_text.insert("end", line)
+            end = self._info_text.index("end-1c")
+            self._info_text.tag_add("info_label", start, f"{start}+{len(key)}c")
+            self._info_text.tag_add("info_value", f"{start}+{len(key)}c", end)
+        self._info_text.configure(state="disabled")
 
 
 class FileSelector(ctk.CTkFrame):
     """File selector widget with browse button and path display.
 
-    Allows users to browse for files and displays the selected path.
+    Stores the full absolute path internally but displays only the
+    filename in the entry field.  Supports relative paths: the
+    ``set_relative_path()`` / ``get_relative_path()`` methods work
+    with paths relative to a given base directory.
     """
 
     def __init__(
@@ -506,7 +544,11 @@ class FileSelector(ctk.CTkFrame):
 
         self._callback = callback
         self._file_types = file_types or [("All files", "*")]
-        self._selected_path = ctk.StringVar(value="")
+        self._hint_text = label_text.rstrip(":")  # e.g. "FSBL ELF (.elf)"
+        self._full_path: str = ""           # absolute path (internal)
+        self._relative_path: str = ""       # relative path (synced to Config)
+        self._display_text = ctk.StringVar(value="")
+        self._suppress_callback: bool = False  # True during construction
 
         self._create_widgets(label_text)
 
@@ -524,10 +566,10 @@ class FileSelector(ctk.CTkFrame):
         )
         label.grid(row=0, column=0, sticky="w", padx=(PADDING, PADDING_SMALL))
 
-        # Path entry
+        # Path entry — shows only the filename
         self._entry = ctk.CTkEntry(
             self,
-            textvariable=self._selected_path,
+            textvariable=self._display_text,
             font=FONT_MONO,
             state="readonly",
         )
@@ -549,33 +591,60 @@ class FileSelector(ctk.CTkFrame):
 
     def _browse(self) -> None:
         """Open file dialog and set selected path."""
-        import customtkinter
         from tkinter import filedialog
 
         file_path = filedialog.askopenfilename(
-            title=f"Select {self._selected_path.get() or 'file'}",
+            title=f"Select {self._hint_text}",
             filetypes=self._file_types,
         )
         if file_path:
             self.set_path(file_path)
 
     def set_path(self, path: str) -> None:
-        """Set the selected file path.
+        """Set the selected file path (absolute or relative).
+
+        Internally stores the absolute path and displays only the
+        filename.
 
         Args:
-            path: Absolute path to the selected file.
+            path: Absolute or relative path to the selected file.
         """
-        self._selected_path.set(path)
-        if self._callback:
+        self._full_path = path
+        self._display_text.set(os.path.basename(path) if path else "")
+        if self._callback and not self._suppress_callback:
+            self._callback(path)
+
+    def set_relative_path(self, path: str) -> None:
+        """Set a relative path (from config).
+
+        Resolves to absolute for internal storage, shows only filename.
+
+        Args:
+            path: Relative path string.
+        """
+        self._relative_path = path
+        # Resolve to absolute for internal use
+        if path:
+            self._full_path = path  # caller should resolve before calling
+        self._display_text.set(os.path.basename(path) if path else "")
+        if self._callback and not self._suppress_callback:
             self._callback(path)
 
     def get_path(self) -> str:
-        """Get the currently selected file path.
+        """Get the currently selected file path (absolute).
 
         Returns:
             Selected file path string.
         """
-        return self._selected_path.get()
+        return self._full_path
+
+    def get_relative_path(self) -> str:
+        """Get the currently selected relative path.
+
+        Returns:
+            Relative path string, or empty string.
+        """
+        return self._relative_path
 
 
 class LogDisplay(ctk.CTkFrame):
@@ -650,15 +719,15 @@ class SubStepFrame(ctk.CTkFrame):
     """Collapsible frame showing flash operation sub-steps with status.
 
     Colors match StepHeader: gray pending, blue running (+pulse),
-    green complete, red error. Default expanded.
+    green complete, red error. Default collapsed.
     """
 
     def __init__(self, parent: ctk.CTkFrame) -> None:
         super().__init__(parent, fg_color="transparent")
 
-        self._collapsed = False
+        self._collapsed = True
         self._toggle_btn = ctk.CTkButton(
-            self, text="▼", width=22, height=22,
+            self, text="▶", width=22, height=22,
             font=(FONT_SMALL[0], 9), command=self._toggle,
         )
         self._toggle_btn.grid(row=0, column=0, padx=(4, 4), pady=(2, 2), sticky="w")
@@ -683,6 +752,16 @@ class SubStepFrame(ctk.CTkFrame):
         self.grid_columnconfigure(1, weight=1)
         self._pulse_job: str | None = None
 
+        # Apply initial collapsed state (hide sub-items)
+        self._hide()
+
+    def _hide(self) -> None:
+        """Hide sub-items without toggling state."""
+        for item in self._sub_items:
+            item["dot"].grid_remove()
+            item["label"].grid_remove()
+            item["pct"].grid_remove()
+
     def _toggle(self) -> None:
         self._collapsed = not self._collapsed
         self._toggle_btn.configure(text="▶" if self._collapsed else "▼")
@@ -784,19 +863,20 @@ class TftpSubStepFrame(ctk.CTkFrame):
 
     Sub-steps: Upload, Download Verify, CRC Check, Reboot, Boot Verify.
     Colors match StepHeader: gray pending, blue running (+pulse),
-    green complete, red error. Default expanded.
+    green complete, red error. Default collapsed.
     """
 
     def __init__(self, parent: ctk.CTkFrame, substep_names: list[str] | None = None) -> None:
         super().__init__(parent, fg_color="transparent")
 
-        self._collapsed = False
+        self._collapsed = True
         self._pulse_job: str | None = None
+        self._skipped: set[int] = set()
         self._substep_names = substep_names or ["Upload", "Download Verify", "CRC Check", "Reboot", "Boot Verify"]
         self._num_steps = len(self._substep_names)
 
         self._toggle_btn = ctk.CTkButton(
-            self, text="▼", width=22, height=22,
+            self, text="▶", width=22, height=22,
             font=(FONT_SMALL[0], 9), command=self._toggle,
         )
         self._toggle_btn.grid(row=0, column=0, padx=(4, 4), pady=(2, 2), sticky="w")
@@ -819,6 +899,16 @@ class TftpSubStepFrame(ctk.CTkFrame):
 
         self.grid_columnconfigure(1, weight=1)
 
+        # Apply initial collapsed state (hide sub-items)
+        self._hide()
+
+    def _hide(self) -> None:
+        """Hide sub-items without toggling state."""
+        for item in self._sub_items:
+            item["dot"].grid_remove()
+            item["label"].grid_remove()
+            item["pct"].grid_remove()
+
     def _toggle(self) -> None:
         self._collapsed = not self._collapsed
         self._toggle_btn.configure(text="▶" if self._collapsed else "▼")
@@ -847,6 +937,8 @@ class TftpSubStepFrame(ctk.CTkFrame):
 
         pct_text = f"{pct}%" if pct >= 0 else ""
         for i, item in enumerate(self._sub_items):
+            if i in self._skipped:
+                continue  # leave skipped items untouched
             if i < idx:
                 item["dot"].configure(text="●", text_color=_C_DONE)
                 item["label"].configure(text_color=_C_DONE)
@@ -886,6 +978,18 @@ class TftpSubStepFrame(ctk.CTkFrame):
         item["label"].configure(text_color=_C_ERROR)
         self._stop_pulse()
 
+    def set_step_skipped(self, phase: str) -> None:
+        """Mark a specific step as skipped (warning color, Skip text)."""
+        idx = self._substep_names.index(phase) if phase in self._substep_names else -1
+        if idx < 0:
+            return
+        self._skipped.add(idx)
+        item = self._sub_items[idx]
+        item["dot"].configure(text="◌", text_color=WARNING_COLOR)
+        item["label"].configure(text_color=WARNING_COLOR)
+        item["pct"].configure(text="Skip", text_color=WARNING_COLOR)
+        self._stop_pulse()
+
     def _start_pulse(self, idx: int) -> None:
         """Start pulsing the running sub-step."""
         _LIGHT = RUNNING_FADE_LIGHT
@@ -910,6 +1014,7 @@ class TftpSubStepFrame(ctk.CTkFrame):
 
     def reset(self) -> None:
         self._stop_pulse()
+        self._skipped.clear()
         _C = ACCENT_PENDING
         for i, item in enumerate(self._sub_items):
             item["dot"].configure(text="○", text_color=_C)
@@ -967,7 +1072,7 @@ class UartMonitorWindow(ctk.CTkToplevel):
         self._build_log_area()
         self._build_status_bar()
 
-       # Try to open serial port after window is drawn
+        # Try to open serial port after window is drawn
         self.after(100, self._try_open)
 
     # ── Title Bar ──────────────────────────────────────────────
@@ -1079,7 +1184,7 @@ class UartMonitorWindow(ctk.CTkToplevel):
                 ser.close()
                 self.after(0, self._on_open_success)
             except Exception as e:
-                self.after(0, lambda: self._show_unavailable(str(e)))
+                self.after(0, lambda e=e: self._show_unavailable(str(e)))
 
         threading.Thread(target=_bg_open, daemon=True).start()
 
@@ -1190,6 +1295,12 @@ class UartMonitorWindow(ctk.CTkToplevel):
         """True if the UART monitor thread is currently running."""
         return self._monitor is not None and self._monitor.is_running()
 
+    def get_latest_info(self):
+        """Return latest parsed BootInfo from the UART monitor, or None."""
+        if self._monitor:
+            return self._monitor.latest_info
+        return None
+
     def _on_close(self) -> None:
         """Cleanup UartMonitor and destroy window."""
         if self._monitor:

src/reboot_manager.py

@@ -186,8 +186,7 @@ def reboot_via_jtag(
     from vitis_checker import get_xsct_path
 
     xsct = get_xsct_path(
-        vitis_path=config.vitis_path if hasattr(config, 'vitis_path') else "",
-        xilinx_root=config.xilinx_path if hasattr(config, 'xilinx_path') else "",
+        xilinx_root=getattr(config, "xilinx_path", ""),
     )
     if not xsct:
         return RebootResult(
@@ -231,8 +230,9 @@ exit
         if callback:
             callback("progress", "Running JTAG system reset...")
 
+        from vitis_checker import build_tool_command
         result = subprocess.run(
-            [xsct, tcl_path],
+            build_tool_command(xsct, tcl_path),
             capture_output=True,
             text=True,
             timeout=30,

src/serial_monitor.py

@@ -9,6 +9,7 @@ from __future__ import annotations
 
 import re
 import threading
+import time
 from dataclasses import dataclass
 from typing import Callable
 
@@ -136,6 +137,7 @@ def check_uart_available(
     port: str,
     baudrate: int = 115200,
     timeout: float = 3.0,
+    monitor: UartMonitor | None = None,
 ) -> tuple[bool, str]:
     """Check whether the UART serial port is available and readable.
 
@@ -144,19 +146,24 @@ def check_uart_available(
     considered available (the device may simply not be outputting yet).
     If the port cannot be opened at all, it is unavailable.
 
+    If *monitor* is provided and currently running, the function
+    skips the port-open test (which would fail on Windows with
+    Error 13 due to exclusive access) and returns True immediately.
+
     Args:
         port: Serial port device path (e.g., '/dev/ttyUSB0').
         baudrate: Baud rate for serial communication.
         timeout: Seconds to wait for data after opening.
+        monitor: Optional running UartMonitor — if active, reuse it.
 
     Returns:
         Tuple of (is_available, reason_string).
-        - (True,  "Port open") — port is usable
-        - (True,  "Port open, no data yet") — port open, no data currently
-        - (False, "No serial ports detected") — system has no serial ports
-        - (False, "Port not in detected ports") — configured port missing
-        - (False, "Failed to open: <error>") — port open error
     """
+    # Reuse existing monitor when available (avoids Error 13 on Windows)
+    if monitor is not None and monitor.is_running():
+        return True, "Already monitoring"
+
+    # 1. Quick port list check
     # 1. Quick port list check
     ports = detect_serial_ports()
     if not ports:
@@ -222,28 +229,33 @@ def test_serial_version(
     port: str,
     baudrate: int = 115200,
     timeout: float = 5.0,
+    monitor: UartMonitor | None = None,
 ) -> tuple[bool, str, str]:
     """Test serial port by sending 'ver()' command and parsing response.
 
-    Sends 'ver\\r\\n' to the serial port and reads the response.
-    Attempts to parse version string from the response.
+    If *monitor* is running, skips opening a new connection and
+    returns the latest parsed version from the monitor instead.
 
     Args:
         port: Serial port device path (e.g., '/dev/ttyUSB0').
         baudrate: Baud rate for serial communication.
         timeout: Read timeout in seconds.
+        monitor: Optional running UartMonitor — if active, reuse it.
 
     Returns:
         Tuple of (success, message, version_string).
-        - (True, "Version: x.y.z", "x.y.z") — version detected
-        - (True, "Port responded", "") — port responded but no version
-        - (False, "Error message", "") — error occurred
     """
     import serial
 
+    # Reuse existing monitor when available (avoids Error 13 on Windows)
+    if monitor is not None and monitor.is_running():
+        info = monitor.latest_info
+        if info and info.version:
+            return True, f"Version: {info.version}", info.version
+        return True, "Port monitored, no version parsed yet", ""
+
     try:
         with serial.Serial(port, baudrate, timeout=timeout) as ser:
-            # Clear buffers
             ser.reset_input_buffer()
             ser.reset_output_buffer()
 

src/vitis_checker.py

@@ -56,10 +56,12 @@ TOOL_ALIASES: dict[str, list[str]] = {
     "xsct": ["xsct"],
     "program_flash": ["program_flash"],
     "bootgen": ["bootgen"],
+    "hw_server": ["hw_server"],
 }
 
 # Product subdirectories under xilinx_root to scan (in preference order)
-_PRODUCT_DIRS = ("Vitis", "Vivado")
+# SDK covers pre-2019 installations where xsct lived in SDK/*/bin/
+_PRODUCT_DIRS = ("Vitis", "Vivado", "SDK")
 
 
 # ── Version helpers ──────────────────────────────────────────────────
@@ -110,6 +112,7 @@ def _scan_xilinx_root(
     """Scan xilinx_root for all installed versions of a tool.
 
     Searches under Vitis/*/bin/ and Vivado/*/bin/ for the executable.
+    On Windows also checks .bat wrappers in addition to .exe.
 
     Args:
         xilinx_root: Xilinx root directory (e.g., /data/xilinx, C:/Xilinx).
@@ -124,6 +127,11 @@ def _scan_xilinx_root(
     if not xr.is_dir():
         return results
 
+    # On Windows, also try .bat extension (Xilinx tools use .bat wrappers)
+    suffixes = [exec_suffix]
+    if exec_suffix == ".exe":
+        suffixes.append(".bat")
+
     for product in _PRODUCT_DIRS:
         pdir = xr / product
         if not pdir.is_dir():
@@ -135,11 +143,13 @@ def _scan_xilinx_root(
         for ver_dir in entries:
             if not ver_dir.is_dir():
                 continue
-            candidate = ver_dir / "bin" / f"{exec_name}{exec_suffix}"
-            if candidate.is_file():
-                v = _parse_version_tuple(ver_dir.name)
-                if v != (0,):
-                    results.append((v, candidate, product))
+            for sfx in suffixes:
+                candidate = ver_dir / "bin" / f"{exec_name}{sfx}"
+                if candidate.is_file():
+                    v = _parse_version_tuple(ver_dir.name)
+                    if v != (0,):
+                        results.append((v, candidate, product))
+                    break  # Found for this version dir
     # Sort newest first (descending version tuple)
     results.sort(key=lambda x: x[0], reverse=True)
     return results
@@ -154,9 +164,9 @@ def _find_executable(
     """Find an executable by name using PATH, Vitis, and Xilinx root.
 
     Search order:
-    1. System PATH (shutil.which)
+    1. System PATH (shutil.which) — tries bare name, .exe, .bat on Windows
     2. vitis_path/bin (legacy config)
-    3. xilinx_root/Vitis/*/bin and Vivado/*/bin — pick NEWEST version
+    3. xilinx_root/Vitis/*/bin, Vivado/*/bin, SDK/*/bin — pick NEWEST version
     4. Common install paths (cross-platform)
 
     Args:
@@ -170,16 +180,22 @@ def _find_executable(
     """
     exec_suffix = ".exe" if system == "windows" else ""
 
-    # 1. System PATH
-    found = shutil.which(f"{exec_name}{exec_suffix}")
+    # 1. System PATH — search without explicit extension first
+    #    so Windows PATHEXT resolves .bat/.exe/.cmd automatically
+    found = shutil.which(exec_name)
+    if not found and exec_suffix:
+        found = shutil.which(f"{exec_name}{exec_suffix}")
+        if not found:
+            found = shutil.which(f"{exec_name}.bat")
     if found:
         return found
 
     # 2. Legacy vitis_path/bin
     if vitis_path:
-        candidate = Path(vitis_path) / "bin" / f"{exec_name}{exec_suffix}"
-        if candidate.is_file():
-            return str(candidate)
+        for sfx in (".bat", ".exe") if system == "windows" else (exec_suffix,):
+            candidate = Path(vitis_path) / "bin" / f"{exec_name}{sfx}"
+            if candidate.is_file():
+                return str(candidate)
 
     # 3. Scan xilinx_root — pick newest version across Vitis + Vivado
     if xilinx_root:
@@ -192,12 +208,11 @@ def _find_executable(
 
     # 4. Common install paths (cross-platform fallback)
     if system == "windows":
-        common = [
-            f"C:/Xilinx/Vitis/2023.2/bin/{exec_name}.exe",
-            f"C:/Xilinx/Vivado/2023.2/bin/{exec_name}.exe",
-            f"C:/Xilinx/Vitis/2022.2/bin/{exec_name}.exe",
-            f"C:/Xilinx/Vivado/2022.2/bin/{exec_name}.exe",
-        ]
+        common: list[str] = []
+        for sfx in (".bat", ".exe"):
+            for ver in ("2023.2", "2022.2", "2018.3"):
+                for prod in ("Vitis", "Vivado", "SDK"):
+                    common.append(f"C:/Xilinx/{prod}/{ver}/bin/{exec_name}{sfx}")
     else:
         common = [
             f"/data/xilinx/Vitis/2023.2/bin/{exec_name}",
@@ -237,6 +252,60 @@ def get_all_found_versions(
     ]
 
 
+# ── Environment setup ────────────────────────────────────────────────
+
+
+def _find_settings_script(tool_path: str) -> str | None:
+    """Find the settings64 script for a Xilinx tool's version directory.
+
+    Walks up from the tool's bin/ directory looking for
+    settings64.sh (Linux) or settings64.bat (Windows).
+
+    Args:
+        tool_path: Absolute path to a Xilinx tool executable.
+
+    Returns:
+        Path to settings64 script, or None if not found.
+    """
+    p = Path(tool_path).resolve()
+    for parent in p.parents:
+        for name in ("settings64.sh", "settings64.bat"):
+            candidate = parent / name
+            if candidate.is_file():
+                return str(candidate)
+    return None
+
+
+def build_tool_command(tool_path: str, *args: str) -> list[str]:
+    """Build a subprocess-safe command with Xilinx environment setup.
+
+    On Linux: sources settings64.sh before running the tool.
+    On Windows: .bat wrappers handle environment internally.
+
+    Args:
+        tool_path: Path to the Xilinx tool executable.
+        *args: Arguments to pass to the tool.
+
+    Returns:
+        Command list suitable for subprocess.run().
+    """
+    import shlex
+
+    system = platform.system().lower()
+
+    # Windows: .bat wrappers set up their own environment
+    if system == "windows":
+        return [tool_path, *args]
+
+    # Linux: find settings64.sh and source it before running
+    settings = _find_settings_script(tool_path)
+    if not settings:
+        return [tool_path, *args]
+
+    quoted = " ".join(shlex.quote(a) for a in [tool_path, *args])
+    return ["bash", "-c", f"source {shlex.quote(settings)} && {quoted}"]
+
+
 # ── Public path getters ──────────────────────────────────────────────
 
 
@@ -255,6 +324,37 @@ def get_bootgen_path(vitis_path: str = "", xilinx_root: str = "") -> str | None:
     return _find_executable("bootgen", vitis_path, platform.system().lower(), xilinx_root)
 
 
+def get_vivado_path(vitis_path: str = "", xilinx_root: str = "") -> str | None:
+    """Find the Vivado executable (JTAG operations via hw_server).
+
+    Args:
+        vitis_path: Legacy Vitis installation directory.
+        xilinx_root: Xilinx root directory.
+
+    Returns:
+        Path to vivado executable, or None.
+    """
+    return _find_executable("vivado", vitis_path, platform.system().lower(), xilinx_root)
+
+
+def get_hw_server_path(vitis_path: str = "", xilinx_root: str = "") -> str | None:
+    """Find the hw_server executable (Xilinx hardware server).
+
+    hw_server must be running before Vivado/xsct can connect to the
+    JTAG chain. This finder searches the same Vitis/Vivado bin dirs.
+
+    Args:
+        vitis_path: Legacy Vitis installation directory.
+        xilinx_root: Xilinx root directory.
+
+    Returns:
+        Path to hw_server executable, or None.
+    """
+    return _find_executable(
+        "hw_server", vitis_path, platform.system().lower(), xilinx_root
+    )
+
+
 # ── Tool version detection ───────────────────────────────────────────
 
 
@@ -262,7 +362,7 @@ def _get_tool_version(tool_path: str) -> str:
     """Get the version string from a tool executable.
 
     Tries (in order):
-    1. tool -version
+    1. tool -version → parse version from output
     2. Extract from path (e.g., .../Vitis/2023.2/bin/xsct → 2023.2)
 
     Args:
@@ -281,14 +381,17 @@ def _get_tool_version(tool_path: str) -> str:
         )
         output = (result.stdout + result.stderr).strip()
         if output:
-            # Look for a version pattern in output
-            m = re.search(r"(\d{4}\.\d+(?:\.\d+)?)", output)
-            if m:
-                return m.group(1)
-            # Return first meaningful line (truncated)
-            line = output.split("\n")[0][:80]
-            if line and "usage" not in line.lower():
-                return line
+            # Scan all lines for a version pattern (skip batch echo noise)
+            for raw_line in output.splitlines():
+                line = raw_line.strip()
+                if not line:
+                    continue
+                # Skip Windows batch echo noise
+                if _is_batch_noise(line):
+                    continue
+                m = re.search(r"(\d{4}\.\d+(?:\.\d+)?)", line)
+                if m:
+                    return m.group(1)
     except (subprocess.TimeoutExpired, OSError):
         pass
 
@@ -296,6 +399,22 @@ def _get_tool_version(tool_path: str) -> str:
     return _version_from_path(tool_path)
 
 
+def _is_batch_noise(line: str) -> bool:
+    """Check if a line is Windows batch script noise.
+
+    Args:
+        line: A line of output text.
+
+    Returns:
+        True if the line looks like batch echo/status noise.
+    """
+    noise_patterns = [
+        r"^ECHO\s+(is\s+(on|off)|处于)",  # ECHO is on/off (en+zh)
+        r"^[A-Z]:\\[^>]*>",                # Prompt line like C:\path>
+    ]
+    return any(re.search(p, line, re.IGNORECASE) for p in noise_patterns)
+
+
 # ── Main check function ──────────────────────────────────────────────
 
 

src/zynq_checker.py

@@ -1,78 +1,84 @@
 """Zynq JTAG presence checker for Zynq Flasher GUI.
 
-Connects to hw_server via Vivado and scans the JTAG chain to detect
-Zynq devices, returning chip model and presence information.
-Checks for both PS (Processing System) and PL (Programmable Logic)
-recognition on the JTAG chain.
+Starts hw_server explicitly, then uses Vivado batch-mode TCL to scan
+the JTAG chain. On failure, Vivado's stdout/stderr is returned in the
+error message for debugging.
 """
 
 from __future__ import annotations
 
-import os
 import re
-import shutil
 import subprocess
+import tempfile
+import time
 from dataclasses import dataclass, field
 from pathlib import Path
 from typing import Callable
 
 from config_manager import Config
+from vitis_checker import get_vivado_path, get_hw_server_path, build_tool_command
 
 
 @dataclass
 class JtagDevice:
     """Information about a device on the JTAG chain."""
 
-    name: str  # Device name from JTAG chain (e.g. "xc7z100_1")
-    is_zynq: bool  # Whether this is a Zynq device
-    is_arm_dap: bool  # Whether this is an ARM DAP (PS side)
-    is_pl_device: bool  # Whether this is a PL device
+    name: str
+    idcode: str = ""
+    is_zynq: bool = False
+    is_arm_dap: bool = False
+    is_pl_device: bool = False
 
 
 @dataclass
 class ZynqDevice:
     """Information about a detected Zynq device on the JTAG chain."""
 
-    name: str  # Device name from JTAG chain (e.g. "xc7z100_1")
-    part_number: str  # Extracted part number (e.g. "XC7Z100")
-    family: str  # Family (e.g. "zynq7")
-    speed: str  # Speed grade (e.g. "1", "2", "-1", "-2")
-    idcode: str = ""  # JTAG IDCODE if available
-    is_programmable: bool = False  # Whether the device is programmable
+    name: str
+    part_number: str
+    family: str
+    speed: str
+    idcode: str = ""
+    is_programmable: bool = False
 
 
 @dataclass
 class ZynqCheckResult:
     """Result of Zynq device detection on the JTAG chain."""
 
-    devices: list[ZynqDevice]  # All detected Zynq devices
-    jtag_chain: list[JtagDevice]  # All devices on JTAG chain
-    is_present: bool  # Whether any Zynq device was found
-    ps_detected: bool  # Whether PS (ARM DAP) is detected
-    pl_detected: bool  # Whether PL is detected
-    hw_server_url: str  # hw_server connection URL used
-    error: str = ""  # Error message if detection failed
+    devices: list[ZynqDevice]
+    jtag_chain: list[JtagDevice]
+    is_present: bool
+    ps_detected: bool
+    pl_detected: bool
+    hw_server_url: str
+    error: str = ""
 
 
-# Zynq part number patterns from JTAG device names
-# Examples: xc7z010_1, xc7z020_1, xc7z100_1, xc7z030_1
-ZYNQ_PART_PATTERN = re.compile(
-    r"^(xc\d+z\d+[a-z]?\d+)_\d+$", re.IGNORECASE
-)
-
-# ARM DAP pattern (PS side)
-ARM_DAP_PATTERN = re.compile(r"^arm_dap_\d+$", re.IGNORECASE)
-
-# hw_server default port
+# ── Patterns ──────────────────────────────────────────────────────────
+_DEVICE_LINE_RE = re.compile(r"^DEVICE:(\S+)\s+IDCODE:([01]+)")
+_ZYNQ_RE = re.compile(r"^xc\d+z\d+[a-z]?\d+", re.IGNORECASE)
+_ARM_DAP_RE = re.compile(r"^arm_dap", re.IGNORECASE)
 HW_SERVER_PORT = 3121
 
 
-def check_zynq_jtag(config: Config, callback: Callable | None = None) -> ZynqCheckResult:
-    """Check for Zynq devices on the JTAG chain via hw_server.
+def _idcode_to_hex(binary_str: str) -> str:
+    try:
+        return f"{int(binary_str, 2):08X}"
+    except ValueError:
+        return binary_str
 
-    Connects to hw_server using Vivado batch mode, scans the JTAG chain,
-    and identifies Zynq devices by their JTAG device names. Also checks
-    for PS (ARM DAP) and PL (Programmable Logic) recognition.
+
+# ── Main entry ────────────────────────────────────────────────────────
+
+def check_zynq_jtag(
+    config: Config, callback: Callable | None = None
+) -> ZynqCheckResult:
+    """Check for Zynq devices on the JTAG chain.
+
+    1. Start hw_server (Vivado may not auto-start on Windows)
+    2. Run Vivado batch TCL to enumerate JTAG devices
+    3. On failure, include Vivado output in error for debugging
 
     Args:
         config: Application configuration.
@@ -82,178 +88,221 @@ def check_zynq_jtag(config: Config, callback: Callable | None = None) -> ZynqChe
         ZynqCheckResult with detected devices and status.
     """
     hw_server_url = f"localhost:{HW_SERVER_PORT}"
+    xilinx_root = getattr(config, "xilinx_path", "")
 
     if callback:
         callback("start", "Connecting to hw_server...")
 
-    # Find vivado executable
-    vivado_path = _get_vivado_path(
-        config.vitis_path if hasattr(config, 'vitis_path') else ""
-    )
+    # ── 1. Find tools ──────────────────────────────────────────
+    vivado_path = get_vivado_path(xilinx_root=xilinx_root)
     if not vivado_path:
-        return ZynqCheckResult(
-            devices=[],
-            jtag_chain=[],
-            is_present=False,
-            ps_detected=False,
-            pl_detected=False,
-            hw_server_url=hw_server_url,
-            error="Vivado not found",
-        )
+        return _fail("Vivado not found", hw_server_url)
 
-    # Create temporary TCL script
-    tcl_content = _build_jtag_query_tcl()
-    tcl_path = Path("/tmp/zynq_jtag_check_{}.tcl".format(os.getpid()))
+    hw_server_path = get_hw_server_path(xilinx_root=xilinx_root)
+    if not hw_server_path:
+        return _fail("hw_server not found", hw_server_url)
+
+    # ── 2. Start hw_server ─────────────────────────────────────
+    hw_proc: subprocess.Popen | None = None
     try:
-        tcl_path.write_text(tcl_content)
+        hw_proc = subprocess.Popen(
+            build_tool_command(hw_server_path),
+            stdout=subprocess.DEVNULL,
+            stderr=subprocess.DEVNULL,
+        )
+        # Wait up to 10s for hw_server to bind
+        started = False
+        for _ in range(100):
+            time.sleep(0.1)
+            if _port_listening():
+                started = True
+                break
+        if not started:
+            return _fail("hw_server did not bind port 3121 within 10s", hw_server_url)
+    except OSError as e:
+        return _fail(f"Failed to start hw_server: {e}", hw_server_url)
 
-        if callback:
-            callback("progress", "Scanning JTAG chain...")
+    if callback:
+        callback("progress", "Scanning JTAG chain...")
 
-        # Run Vivado in batch mode
-        cmd = [vivado_path, "-mode", "batch", "-source", str(tcl_path)]
+    # ── 3. Run Vivado TCL ──────────────────────────────────────
+    tcl = _build_jtag_query_tcl()
+    python_timeout = config.step_timeouts.get("check_env", 120)
+
+    # Redirect Vivado journal/log to temp dir so we don't litter the cwd
+    tmp = tempfile.gettempdir()
+    vivado_args = [
+        "-mode", "batch",
+        "-tempDir", tmp,
+        "-journal", str(Path(tmp) / "vivado_jtag.jou"),
+        "-log", str(Path(tmp) / "vivado_jtag.log"),
+        "-source", tcl,
+    ]
+
+    output_lines: list[str] = []
+    try:
+        cmd = build_tool_command(vivado_path, *vivado_args)
+        # Use run() with communicate() under the hood — reliably
+        # drains pipes on Windows even when .bat wrappers are involved
         result = subprocess.run(
             cmd,
             capture_output=True,
             text=True,
-            timeout=30,
+            timeout=python_timeout,
         )
-
         output = result.stdout + result.stderr
-
-        # Parse JTAG device information from output
-        jtag_chain = _parse_jtag_chain(output)
-        devices = _filter_zynq_devices(jtag_chain)
-
-        if callback:
-            if devices:
-                ps_note = "PS" if any(d.is_arm_dap for d in jtag_chain) else ""
-                pl_note = "PL" if any(d.is_pl_device for d in jtag_chain) else ""
-                notes = ", ".join(filter(None, [ps_note, pl_note]))
-                callback("complete", f"Found {len(devices)} Zynq device(s) [{notes}]")
-            else:
-                callback("error", "No Zynq device found on JTAG chain")
-
-        # Check PS and PL detection
-        ps_detected = any(d.is_arm_dap for d in jtag_chain)
-        pl_detected = any(d.is_pl_device for d in jtag_chain)
-
-        return ZynqCheckResult(
-            devices=devices,
-            jtag_chain=jtag_chain,
-            is_present=len(devices) > 0,
-            ps_detected=ps_detected,
-            pl_detected=pl_detected,
-            hw_server_url=hw_server_url,
-            error="" if devices else "No Zynq device found on JTAG chain",
-        )
-
+        for line in output.splitlines():
+            stripped = line.strip()
+            if stripped:
+                output_lines.append(stripped)
+                if callback:
+                    callback("progress", stripped)
     except subprocess.TimeoutExpired:
-        return ZynqCheckResult(
-            devices=[],
-            jtag_chain=[],
-            is_present=False,
-            ps_detected=False,
-            pl_detected=False,
-            hw_server_url=hw_server_url,
-            error="JTAG scan timed out after 30s",
+        return _fail(
+            f"JTAG scan timed out after {python_timeout}s",
+            hw_server_url,
         )
     except OSError as e:
-        return ZynqCheckResult(
-            devices=[],
-            jtag_chain=[],
-            is_present=False,
-            ps_detected=False,
-            pl_detected=False,
-            hw_server_url=hw_server_url,
-            error=f"OS error: {e}",
-        )
+        return _fail(f"Failed to run Vivado: {e}", hw_server_url)
     finally:
-        tcl_path.unlink(missing_ok=True)
+        try:
+            Path(tcl).unlink(missing_ok=True)
+        except Exception:
+            pass
+        for f in ("vivado_jtag.jou", "vivado_jtag.log"):
+            try:
+                (Path(tmp) / f).unlink(missing_ok=True)
+            except Exception:
+                pass
 
+    output = "\n".join(output_lines)
+
+    # Parse results
+    jtag_chain = _parse_jtag_chain(output)
+    devices = _filter_zynq_devices(jtag_chain)
+
+    if devices:
+        if callback:
+            ps_note = "PS" if any(d.is_arm_dap for d in jtag_chain) else ""
+            pl_note = "PL" if any(d.is_pl_device for d in jtag_chain) else ""
+            notes = ", ".join(filter(None, [ps_note, pl_note]))
+            callback("complete", f"Found {len(devices)} Zynq device(s) [{notes}]")
+    else:
+        # Include Vivado output so user can debug
+        err_detail = _extract_relevant(output)
+        msg = "No Zynq device found on JTAG chain"
+        if err_detail:
+            msg += f" | Vivado: {err_detail[:300]}"
+        if callback:
+            callback("error", msg)
+        return ZynqCheckResult(
+            devices=[], jtag_chain=jtag_chain,
+            is_present=False,
+            ps_detected=False, pl_detected=False,
+            hw_server_url=hw_server_url,
+            error=msg,
+        )
+
+    ps_detected = any(d.is_arm_dap for d in jtag_chain)
+    pl_detected = any(d.is_pl_device for d in jtag_chain)
+
+    return ZynqCheckResult(
+        devices=devices, jtag_chain=jtag_chain,
+        is_present=True,
+        ps_detected=ps_detected, pl_detected=pl_detected,
+        hw_server_url=hw_server_url,
+        error="",
+    )
+
+
+# ── Helpers ───────────────────────────────────────────────────────────
+
+def _fail(error: str, url: str) -> ZynqCheckResult:
+    return ZynqCheckResult(
+        devices=[], jtag_chain=[], is_present=False,
+        ps_detected=False, pl_detected=False,
+        hw_server_url=url, error=error,
+    )
+
+
+def _port_listening(port: int = HW_SERVER_PORT) -> bool:
+    """Check if hw_server is listening on its TCP port."""
+    import socket
+    try:
+        with socket.create_connection(("localhost", port), timeout=1):
+            return True
+    except OSError:
+        return False
+
+
+def _extract_relevant(output: str) -> str:
+    """Extract error/warning lines from Vivado output for user display."""
+    lines = []
+    for line in output.splitlines():
+        line = line.strip()
+        if not line:
+            continue
+        if any(kw in line for kw in ("ERROR", "WARNING", "CRITICAL", "FAIL", "cannot", "No")):
+            lines.append(line)
+    return " | ".join(lines[-5:])  # Last 5 relevant lines
+
+
+# ── TCL builder ────────────────────────────────────────────────────────
 
 def _build_jtag_query_tcl() -> str:
-    """Build TCL script for JTAG device query.
-
-    Returns:
-        TCL script content as string.
-    """
-    return """
-open_hw_manager
+    """Build Vivado TCL script file for JTAG device enumeration."""
+    content = """\
+open_hw
 connect_hw_server
 open_hw_target
 puts "===JTAG_START==="
 foreach dev [get_hw_devices] {
   set name [get_property NAME $dev]
-  puts "DEVICE:$name"
+  set idcode [get_property IDCODE $dev]
+  puts "DEVICE:$name IDCODE:$idcode"
 }
 puts "===JTAG_END==="
+close_hw
+disconnect_hw_server
 quit
 """
+    import os
+    path = Path(tempfile.gettempdir()) / f"zynq_jtag_{os.getpid()}.tcl"
+    path.write_text(content)
+    return str(path)
 
 
+# ── Parsers ────────────────────────────────────────────────────────────
+
 def _parse_jtag_chain(output: str) -> list[JtagDevice]:
-    """Parse JTAG chain information from Vivado output.
-
-    Args:
-        output: Combined stdout/stderr from Vivado batch execution.
-
-    Returns:
-        List of JtagDevice objects for all devices on the JTAG chain.
-    """
+    """Parse Vivado TCL output into JtagDevice list."""
     devices: list[JtagDevice] = []
-
-    # Extract device list from output
-    devices_section = _extract_section(output, "===JTAG_START===", "===JTAG_END===")
-    if not devices_section:
+    section = _extract_section(output, "===JTAG_START===", "===JTAG_END===")
+    if not section:
         return devices
-
-    for line in devices_section.splitlines():
+    for line in section.splitlines():
         line = line.strip()
-        if line.startswith("DEVICE:"):
-            device_name = line[len("DEVICE:"):]
-            device = _classify_jtag_device(device_name)
-            devices.append(device)
-
+        if not line:
+            continue
+        match = _DEVICE_LINE_RE.match(line)
+        if match:
+            name = match.group(1)
+            idcode_hex = _idcode_to_hex(match.group(2))
+            devices.append(_classify_jtag_device(name, idcode_hex))
     return devices
 
 
 def _filter_zynq_devices(jtag_chain: list[JtagDevice]) -> list[ZynqDevice]:
-    """Filter Zynq devices from JTAG chain.
-
-    Args:
-        jtag_chain: List of all JTAG devices.
-
-    Returns:
-        List of ZynqDevice objects.
-    """
     zynq_devices: list[ZynqDevice] = []
     for jtag_dev in jtag_chain:
         if jtag_dev.is_zynq:
-            zynq_dev = _parse_zynq_device(jtag_dev.name)
+            zynq_dev = _parse_zynq_device(jtag_dev.name, jtag_dev.idcode)
             if zynq_dev:
                 zynq_devices.append(zynq_dev)
     return zynq_devices
 
 
-def _extract_section(
-    text: str, start_marker: str, end_marker: str
-) -> str | None:
-    """Extract text between two markers, handling duplicate markers.
-
-    Finds the last occurrence of each marker to avoid matching
-    markers inside TCL script source code.
-
-    Args:
-        text: Full output text.
-        start_marker: Starting marker string.
-        end_marker: Ending marker string.
-
-    Returns:
-        Text between markers, or None if not found.
-    """
-    # Find last occurrence of each marker to avoid matching
-    # markers inside TCL script source code
+def _extract_section(text: str, start_marker: str, end_marker: str) -> str | None:
     start_idx = text.rfind(start_marker)
     end_idx = text.rfind(end_marker)
     if start_idx == -1 or end_idx == -1 or start_idx >= end_idx:
@@ -261,105 +310,37 @@ def _extract_section(
     return text[start_idx + len(start_marker):end_idx].strip()
 
 
-def _classify_jtag_device(device_name: str) -> JtagDevice:
-    """Classify a JTAG device by its name.
-
-    Args:
-        device_name: Device name from JTAG chain.
-
-    Returns:
-        JtagDevice with classification information.
-    """
-    is_zynq = bool(ZYNQ_PART_PATTERN.match(device_name))
-    is_arm_dap = bool(ARM_DAP_PATTERN.match(device_name))
-    is_pl_device = is_zynq and not is_arm_dap
-
+def _classify_jtag_device(device_name: str, idcode: str = "") -> JtagDevice:
+    is_zynq = bool(_ZYNQ_RE.match(device_name))
+    is_arm_dap = bool(_ARM_DAP_RE.match(device_name))
     return JtagDevice(
         name=device_name,
+        idcode=idcode,
         is_zynq=is_zynq,
         is_arm_dap=is_arm_dap,
-        is_pl_device=is_pl_device,
+        is_pl_device=is_zynq and not is_arm_dap,
     )
 
 
-def _parse_zynq_device(device_name: str) -> ZynqDevice | None:
-    """Parse a Zynq device from its JTAG chain name.
-
-    Args:
-        device_name: Device name from JTAG chain (e.g. "xc7z100_1").
-
-    Returns:
-        ZynqDevice if it's a Zynq chip, None otherwise.
-    """
-    match = ZYNQ_PART_PATTERN.match(device_name)
+def _parse_zynq_device(device_name: str, idcode: str = "") -> ZynqDevice | None:
+    match = _ZYNQ_RE.match(device_name)
     if not match:
         return None
-
-    part_base = match.group(1)
-    # Convert to uppercase for part number
-    part_number = part_base.upper()
-
-    # Extract family and speed from part number
-    # Examples: XC7Z010 -> family=zynq7, speed=1; XC7Z100 -> family=zynq7, speed=1
+    base = device_name.rsplit("_", 1)[0] if "_" in device_name else device_name
+    part_number = base.upper()
     family = "zynq7"
-    speed = "1"  # Default speed grade
-
-    # Parse speed grade from the numeric suffix
-    speed_match = re.search(r"(\d+)$", part_base)
+    speed = "-1"
+    speed_match = re.search(r"(\d+)$", part_number)
     if speed_match:
-        speed_num = int(speed_match.group(1))
-        # Map numeric speed to speed grade string
-        if speed_num >= 2:
-            speed = "-2"
-        elif speed_num >= 1:
-            speed = "-1"
-
+        speed = "-2" if int(speed_match.group(1)) >= 2 else "-1"
     return ZynqDevice(
-        name=device_name,
-        part_number=part_number,
-        family=family,
-        speed=speed,
+        name=device_name, part_number=part_number,
+        family=family, speed=speed,
+        idcode=idcode, is_programmable=True,
     )
 
 
-def _get_vivado_path(vitis_path: str) -> str | None:
-    """Find the Vivado executable path.
-
-    Args:
-        vitis_path: Vitis installation path.
-
-    Returns:
-        Path to Vivado executable, or None if not found.
-    """
-    path = shutil.which("vivado")
-    if path:
-        return path
-    if vitis_path:
-        candidate = Path(vitis_path) / "bin" / "vivado"
-        if candidate.exists():
-            return str(candidate)
-        candidate = Path(vitis_path) / "bin" / "vivado.exe"
-        if candidate.exists():
-            return str(candidate)
-    common_paths = [
-        "/opt/xilinx/bin/vivado",
-        os.path.expanduser("~/Xilinx/Vivado/bin/vivado"),
-    ]
-    for p in common_paths:
-        if os.path.isfile(p):
-            return p
-    return None
-
-
 def get_zynq_status_dict(result: ZynqCheckResult) -> dict:
-    """Convert a ZynqCheckResult to a serializable dictionary.
-
-    Args:
-        result: ZynqCheckResult from check_zynq_jtag().
-
-    Returns:
-        Dictionary suitable for JSON serialization or GUI display.
-    """
     return {
         "is_present": result.is_present,
         "ps_detected": result.ps_detected,
@@ -367,23 +348,15 @@ def get_zynq_status_dict(result: ZynqCheckResult) -> dict:
         "hw_server_url": result.hw_server_url,
         "error": result.error,
         "jtag_chain": [
-            {
-                "name": dev.name,
-                "is_zynq": dev.is_zynq,
-                "is_arm_dap": dev.is_arm_dap,
-                "is_pl_device": dev.is_pl_device,
-            }
-            for dev in result.jtag_chain
+            {"name": d.name, "idcode": d.idcode,
+             "is_zynq": d.is_zynq, "is_arm_dap": d.is_arm_dap,
+             "is_pl_device": d.is_pl_device}
+            for d in result.jtag_chain
         ],
         "devices": [
-            {
-                "name": dev.name,
-                "part_number": dev.part_number,
-                "family": dev.family,
-                "speed": dev.speed,
-                "idcode": dev.idcode,
-                "is_programmable": dev.is_programmable,
-            }
-            for dev in result.devices
+            {"name": d.name, "part_number": d.part_number,
+             "family": d.family, "speed": d.speed,
+             "idcode": d.idcode, "is_programmable": d.is_programmable}
+            for d in result.devices
         ],
     }

vivado_1790122.backup.jou

@@ -1,14 +0,0 @@
-#-----------------------------------------------------------
-# Vivado v2023.2 (64-bit)
-# SW Build 4029153 on Fri Oct 13 20:13:54 MDT 2023
-# IP Build 4028589 on Sat Oct 14 00:45:43 MDT 2023
-# SharedData Build 4025554 on Tue Oct 10 17:18:54 MDT 2023
-# Start of session at: Wed Jun 10 15:01:29 2026
-# Process ID: 1790122
-# Current directory: /data/work/prj/Zynq_Flasher
-# Command line: vivado -mode batch -source /tmp/zynq_jtag_check_1789776.tcl
-# Log file: /data/work/prj/Zynq_Flasher/vivado.log
-# Journal file: /data/work/prj/Zynq_Flasher/vivado.jou
-# Running On: mkb, OS: Linux, CPU Frequency: 5069.987 MHz, CPU Physical cores: 32, Host memory: 134146 MB
-#-----------------------------------------------------------
-source /tmp/zynq_jtag_check_1789776.tcl

vivado_1790665.backup.jou

@@ -1,14 +0,0 @@
-#-----------------------------------------------------------
-# Vivado v2023.2 (64-bit)
-# SW Build 4029153 on Fri Oct 13 20:13:54 MDT 2023
-# IP Build 4028589 on Sat Oct 14 00:45:43 MDT 2023
-# SharedData Build 4025554 on Tue Oct 10 17:18:54 MDT 2023
-# Start of session at: Wed Jun 10 15:02:25 2026
-# Process ID: 1790665
-# Current directory: /data/work/prj/Zynq_Flasher
-# Command line: vivado -mode batch -source /tmp/zynq_jtag_check_1789776.tcl
-# Log file: /data/work/prj/Zynq_Flasher/vivado.log
-# Journal file: /data/work/prj/Zynq_Flasher/vivado.jou
-# Running On: mkb, OS: Linux, CPU Frequency: 5073.251 MHz, CPU Physical cores: 32, Host memory: 134146 MB
-#-----------------------------------------------------------
-source /tmp/zynq_jtag_check_1789776.tcl