https://blog.195481.xyz/tags/hal/ Recent content in Hal on RuChen Hugo -- gohugo.io zh-cn 2510889344@qq.com (RuChen) 2510889344@qq.com (RuChen) All Rights Reserved © RuChen 2025 Tue, 20 Oct 2026 20:33:03 +0800 https://blog.195481.xyz/embedded/embedded-study/l036-stack-evidence/ Tue, 20 Oct 2026 20:33:03 +0800 2510889344@qq.com (RuChen) https://blog.195481.xyz/embedded/embedded-study/l036-stack-evidence/ 核心目标：建立以 SP、栈边界和编译产物交叉验证栈使用量与调用现场的证据方法，并为 STM32F407xx 规划可核对但尚未上板的最小采样与调试路径。 新核心概念：栈边界与动态使用量的证据边界；调用现场重建的证据边界。 https://blog.195481.xyz/embedded/embedded-study/l035-fault-analysis/ Mon, 19 Oct 2026 19:13:26 +0800 2510889344@qq.com (RuChen) https://blog.195481.xyz/embedded/embedded-study/l035-fault-analysis/ 核心目标：规划一节故障分析课：用异常入口保存的状态寄存器、堆栈帧和故障指令地址建立可证伪的故障证据链，并在 STM32F407xx 上形成待目标工程验证的最小 HardFault 现场采集路径。新核心概念：异常入口的故障现场快照与有效性边界；从故障状态到可证伪根因假设的证据链。 https://blog.195481.xyz/embedded/embedded-study/l034-breakpoint-watchpoint/ Sun, 18 Oct 2026 16:00:05 +0800 2510889344@qq.com (RuChen) https://blog.195481.xyz/embedded/embedded-study/l034-breakpoint-watchpoint/ 核心目标：建立断点与观察点作为可审计触发条件的心智模型：区分指令地址触发和数据访问触发，评估它们对执行时序的扰动，并为 STM32F407xx 制定来源可核对的调试验证方案。新核心概念：断点的指令地址触发与停止边界；观察点的数据访问触发与资源边界。 https://blog.195481.xyz/embedded/embedded-study/l033-register-view/ Sat, 17 Oct 2026 23:04:12 +0800 2510889344@qq.com (RuChen) https://blog.195481.xyz/embedded/embedded-study/l033-register-view/ 核心目标：建立寄存器视图作为有时序、可证伪的观测证据这一心智模型，并据此为 STM32F407xx 的时钟、定时器、DMA 与外设状态设计可重复的调试观察流程。新核心概念：寄存器视图的取样语义与证据边界。 https://blog.195481.xyz/embedded/embedded-study/l032-peripheral-integration-lab/ Fri, 16 Oct 2026 23:29:09 +0800 2510889344@qq.com (RuChen) https://blog.195481.xyz/embedded/embedded-study/l032-peripheral-integration-lab/ 建立采集批次交给传输 DMA 时的端到端有界所有权与背压边界，并用 C11 Host Fake 验证正常交接、超期、停源和恢复，以 STM32F407xx 的 TIM2-ADC1-DMA2 到 USART2-DMA1 参考链核对时钟、CubeMX、HAL、LL、寄存器与迁移边界。 https://blog.195481.xyz/embedded/embedded-study/l031-adc-timer-dma-pipeline/ Thu, 15 Oct 2026 16:00:04 +0800 2510889344@qq.com (RuChen) https://blog.195481.xyz/embedded/embedded-study/l031-adc-timer-dma-pipeline/ 建立 ADC-定时器-DMA 分段缓冲流水线，以 C11 Host Fake 验证速率预算、半区所有权和错误路径，并以 STM32F407xx 的 TIM2 到 ADC1、DMA2 Stream0/Channel0 参考实现核对时钟、CubeMX、HAL、LL、寄存器和迁移边界。 https://blog.195481.xyz/embedded/embedded-study/l030-advanced-control-timer/ Wed, 14 Oct 2026 23:58:28 +0800 2510889344@qq.com (RuChen) https://blog.195481.xyz/embedded/embedded-study/l030-advanced-control-timer/ 建立高级控制定时器的互补 PWM 安全输出链，用 C11 Host Fake 验证非重叠、故障锁存和显式恢复，并以 STM32F407xx 的 TIM1 核对时钟、CubeMX、HAL、LL、寄存器、刹车 IRQ 和硬件验证边界。 https://blog.195481.xyz/embedded/embedded-study/l029-timer-trigger-routing/ Tue, 13 Oct 2026 16:00:04 +0800 2510889344@qq.com (RuChen) https://blog.195481.xyz/embedded/embedded-study/l029-timer-trigger-routing/ 建立定时器触发路由的事件链，用 C11 Host Fake 验证源事件、路由、接收端选择与错误边界，并以 STM32F407xx 的 TIM2 更新事件到 ADC1 外部触发路径核对时钟、CubeMX、HAL、LL、寄存器和 IRQ 证据。 https://blog.195481.xyz/embedded/embedded-study/l028-hal-ll-register-crosswalk/ Mon, 12 Oct 2026 20:17:48 +0800 2510889344@qq.com (RuChen) https://blog.195481.xyz/embedded/embedded-study/l028-hal-ll-register-crosswalk/ 建立 HAL、LL 与寄存器交叉映射的追踪方法：先以 C11 Host Fake 验证前置条件、状态转换和 IRQ 消费，再以 STM32F407xx 的 ADC1 到 DMA2 Stream0 路径核对时钟门控、初始化字段、硬件标志、回调和错误证据。 https://blog.195481.xyz/embedded/embedded-study/l027-clock-tree/ Sun, 11 Oct 2026 23:29:07 +0800 2510889344@qq.com (RuChen) https://blog.195481.xyz/embedded/embedded-study/l027-clock-tree/ 建立时钟树这一受约束频率分配网络的心智模型：用 Host Fake 审计源频率、PLL、AHB/APB 预分频和频率上限，再以 STM32F407xx 的 HSI 参考参数落实 CubeMX、HAL、LL、关键寄存器、ADC/DMA 与定时器时钟链。 https://blog.195481.xyz/embedded/embedded-study/l026-dma-transfer-engine-contract/ Wed, 07 Oct 2026 19:21:14 +0800 2510889344@qq.com (RuChen) https://blog.195481.xyz/embedded/embedded-study/l026-dma-transfer-engine-contract/ 以双轨方式建立 DMA 传输契约：Host Fake 验证请求、计数、循环缓冲区和错误路径；STM32F407xx 参考实现把 ADC1 请求落实到 DMA2 Stream0/Channel0，给出 168/84/21 MHz 时钟链、CubeMX 配置、HAL 初始化与回调、LL/寄存器对照和上板验证边界。