可逆计数器（状态机）
KiCad 官方示例：用 XSPICE 数字状态机模型实现 3 位加/减计数器。
本例分析：.tran 1u 2m。网表已合并所需器件模型，可直接用 ngspice 运行（ngspice kicad-up-down-counter.cir）。也可以下载 KiCad 原理图，在 KiCad 9 的「检查 › 仿真器」中直接运行。
本例使用 ngspice 的 XSPICE 数字/混合信号模型，LTspice 无法直接运行。
✓ 已用 ngspice 运行验证
本例使用 ngspice 的 d_state 状态机模型，状态表在 state-3bit-count.in 文件中（已包含在工程压缩包里，需与网表放在同一目录）。在 KiCad 9 中打开工程后，可用「检查 › 仿真器」直接运行并查看波形。
| 位号 | 元件值 / 型号 |
|---|---|
| U1 | up-down |
| Vclk1 | VPULSE |
| Vupd1 | VPULSE |
共 3 个元件，取自 KiCad 原理图。
- KiCad 原理图
kicad-up-down-counter.kicad_sch - SPICE 网表（ngspice）
kicad-up-down-counter.cir - 完整 KiCad 工程
kicad-up-down-counter.zip - 原理图大图（SVG）
kicad-up-down-counter.svg
来源：KiCad · CC BY-SA 4.0 · 查看原始项目 ↗
电路示例来自 KiCad 官方仿真示例（© KiCad 开发者），按 CC BY-SA 4.0 授权；网表由电子森林用 KiCad 9 导出，中文讲解为电子森林原创，以上内容同样按 CC BY-SA 4.0 发布。