Dma · RuChen

寄存器视图：有时序、可证伪的观测证据

14224 字·29 分钟

嵌入式 Register-View Debugging Evidence Snapshot Read-Side-Effect STM32F407 Tim2 Dma Hal Ll Host-Fake C11

核心目标：建立寄存器视图作为有时序、可证伪的观测证据这一心智模型，并据此为 STM32F407xx 的时钟、定时器、DMA 与外设状态设计可重复的调试观察流程。新核心概念：寄存器视图的取样语义与证据边界。

外设集成实验：采集批次到串行 DMA 的有界交接

17549 字·36 分钟

嵌入式 Peripheral-Integration Bounded-Ownership Backpressure Adc Timer Dma Uart STM32F407 Cubemx Hal Ll Registers Host-Fake C11

建立采集批次交给传输 DMA 时的端到端有界所有权与背压边界，并用 C11 Host Fake 验证正常交接、超期、停源和恢复，以 STM32F407xx 的 TIM2-ADC1-DMA2 到 USART2-DMA1 参考链核对时钟、CubeMX、HAL、LL、寄存器与迁移边界。

ADC-定时器-DMA 分段缓冲流水线

18852 字·38 分钟

嵌入式 Adc Timer Dma Pipeline Circular-Buffer Half-Transfer Ownership Tim2 Adc1 STM32F407 Cubemx Hal Ll Registers Host-Fake C11

建立 ADC-定时器-DMA 分段缓冲流水线，以 C11 Host Fake 验证速率预算、半区所有权和错误路径，并以 STM32F407xx 的 TIM2 到 ADC1、DMA2 Stream0/Channel0 参考实现核对时钟、CubeMX、HAL、LL、寄存器和迁移边界。

HAL、LL 与寄存器的交叉映射

15683 字·32 分钟

嵌入式 Hal Ll Registers Crosswalk Adc Dma Irq Rcc Host-Fake STM32F407 Cubemx C11

建立 HAL、LL 与寄存器交叉映射的追踪方法：先以 C11 Host Fake 验证前置条件、状态转换和 IRQ 消费，再以 STM32F407xx 的 ADC1 到 DMA2 Stream0 路径核对时钟门控、初始化字段、硬件标志、回调和错误证据。

DMA 传输引擎与传输契约

15878 字·32 分钟

嵌入式 Dma Transfer-Engine Ownership Peripheral-Request Circular-Mode Half-Transfer Host-Fake STM32F407 Cubemx Hal Ll Registers C11

以双轨方式建立 DMA 传输契约：Host Fake 验证请求、计数、循环缓冲区和错误路径；STM32F407xx 参考实现把 ADC1 请求落实到 DMA2 Stream0/Channel0，给出 168/84/21 MHz 时钟链、CubeMX 配置、HAL 初始化与回调、LL/寄存器对照和上板验证边界。