Embedding Formal Worst-Case Latency Proofs and Memory-Safety Certificates into the snn-mlir MLIR Lowering Pipeline for IEC 62304-Compliant Edge Deployment of Spiking Neural Networks
本文为 snn-mlir 编译器引入了一种后处理 MLIR 分析通道,用于生成机器可验证的最坏情况延迟证明和内存安全性证书,从而实现脉冲神经网络在癫痫发作检测器等安全关键型边缘医疗设备中符合 IEC 62304 Class B 标准的部署。