Files
starcodedoc-demo-verilog-wa…/requirements.md
2026-09-25 11:58:45 +08:00

1.4 KiB
Raw Blame History

试验设备看门狗监控器需求规格说明

版本:1.0

1 背景与目标

监测试验设备控制板的心跳与上电稳定期,超时后锁存维护告警,并支持人工确认复位

本文描述预期行为和验收口径,作为实现与验证的输入

2 业务边界

该系统用于试验、保障和状态监测,不承担飞行控制、武器控制或实时安全闭环决策。输入数据可能缺失、乱序或损坏,系统必须给出可追溯的拒收或降级结果

3 功能需求

REQ-VERILOGWATCHDOGSUPERVISOR-01 上电复位期间不得输出超时告警

REQ-VERILOGWATCHDOGSUPERVISOR-02 心跳沿到来时应清空运行期计时

REQ-VERILOGWATCHDOGSUPERVISOR-03 连续超过设定窗口无心跳时应告警

REQ-VERILOGWATCHDOGSUPERVISOR-04 超时告警应锁存,不因后续心跳自动清除

REQ-VERILOGWATCHDOGSUPERVISOR-05 人工确认只可在心跳已恢复后清除告警

REQ-VERILOGWATCHDOGSUPERVISOR-06 计数达到上限后不得继续溢出

4 非功能需求

  • 同一输入应产生确定性结果
  • 异常输入不得造成越界访问或静默接受
  • 输出应包含足以追溯原始输入和判定原因的信息
  • 小规模离线环境可独立运行,不依赖网络服务

5 验收准则

仿真正常心跳、心跳停止、超时后恢复与人工确认;核对告警锁存和清除条件