Formal-Verification on Cadiorahttps://cadiora.com/tags/formal-verification/Recent content in Formal-Verification on CadioraHugoen-usSun, 27 Sep 2026 17:37:52 +0800Autopsy of Vivado AXI-Lite Templates (2021.2 vs. 2025.2): Protocol Defects and Design Trapshttps://cadiora.com/articles/fpga/autopsy-of-xilinx-vivado-axi-lite-template/Fri, 25 Sep 2026 13:00:00 +0000https://cadiora.com/articles/fpga/autopsy-of-xilinx-vivado-axi-lite-template/A code-level comparison of Vivado 2021.2 and 2025.2 32-bit, four-register AXI-Lite templates, covering write pairing, read and write response backpressure, address decode scaling, and integration limits.