Android Anlogic Blog CI/CD Cloudflare Embassy Embedded FPGA HAL Hexo Linux MCU ModelSim Rust SSH STM32 Verilog bottles defmt flatpak linux multisim probe-rs snap ubuntu waydroid wine 代理 参数化 时序逻辑 模块化 模拟器 端口转发 线性序列机 组合逻辑 阻塞赋值 非阻塞赋值