让 AI 写嵌入式状态机不出 bug 的四步操作流程

文章给出让 AI 生成嵌入式状态机代码的四步流程：先表后码、穷举事件、表驱动实现、从表生成测试并让 AI 反向对表。先让 AI 输出状态转移表供人工审查，再要求穷举命令、硬件、时间、异步四类事件且每个状态×事件组合不留默认行为；实现用 const 转移表加函数指针的表驱动结构，最后生成穷举测试并让 AI 反向输出表格逐格 diff 校验。