{
  "eval_id": 2,
  "eval_name": "dff-sync-rst-gui-mode",
  "prompt": "我有一个带同步复位的 D触发器模块 dff_sync_rst.v，路径是 D:/fpga/dff_sync_rst.v。请帮我在 Vivado GUI 模式下运行仿真，同时也生成 CSV 文件保存到 D:/sim_results/dff_waves.csv",
  "assertions": [
    {
      "id": "tb_generated",
      "text": "生成了 tb_dff_sync_rst.v 文件，包含时钟生成、复位序列和 D 输入激励",
      "check": "file_exists:tb_dff_sync_rst.v"
    },
    {
      "id": "gui_tcl_correct",
      "text": "run_sim_gui.tcl 中使用 GUI 模式（不含 -mode batch，不含 close_sim 和 exit）",
      "check": "file_not_contains:run_sim_gui.tcl:-mode batch"
    },
    {
      "id": "vcd_dump_in_tb",
      "text": "testbench 包含 $dumpfile 和 $dumpvars 语句以记录波形",
      "check": "file_contains:tb_dff_sync_rst.v:$dumpfile"
    },
    {
      "id": "vcd_to_csv_mentioned",
      "text": "提供了 vcd_to_csv.py 脚本或明确说明如何导出 CSV",
      "check": "file_exists:vcd_to_csv.py"
    }
  ]
}