尧图网页设计 
1. 时序违例为什么总在深夜找上门从 WNS 为负到 Codex 接管 Vivado 的完整思路FPGA 开发里最让人睡不着的不是写不出 RTL而是综合实现跑完report_timing_summary一打开WNS 是负的TNS 一大串保持时间Hold还跟着凑热闹。你盯着那条从乘法器输出到状态机寄存器的路径明明逻辑不复杂可工具就是告诉你差 0.3ns、0.5ns甚至 1ns 以上。改代码、加流水、换综合策略一轮下来四十分钟没了时序还是红的。这篇文章要解决的就是这个场景一个时序不收敛的 Vivado 工程怎么让 Codex 通过 TaoToken 统一 API 通道读取时序报告、生成 TCL 约束修复脚本并用report_timing_summary前后对比验证 WNS/TNS 是否真的改善。适合已经会基本 Vivado 流程、但被建立/保持违例卡住的 FPGA 工程师也适合想把 AI Agent 接进 EDA 自动化流程的开发者。核心检索词先摆出来FPGA 时序收敛、Vivado TCL 约束、Codex auth.json 配置、TaoToken Base URL、report_timing_summary WNS TNS。这几个词会贯穿全文你照着做就能复现。我试过的典型工程是这样的一个 200MHz 时钟域的状态机内部有多个乘加运算综合后建立时间违例集中在乘法器到状态寄存器的路径上。手动分析时我的思路是加多周期路径约束Multi-Cycle Path因为这些信号本身是参数变量不需要每个时钟周期都采样。Codex 第一次迭代也是这个方向但它不是拍脑袋而是先读报告、定位路径、再改约束、重新实现、再读报告。这个闭环才是关键。所以本文不是教你“AI 一键修时序”这种空话而是把整条链路拆开TaoToken 的 Key 和 Base URL 怎么配、Codex 的auth.json怎么写、Vivado TCL 脚本怎么组织、时序报告怎么喂给模型、修复脚本怎么生成、最后怎么用report_timing_summary做前后对比。每一步都有可复制的配置和命令你跟着走一遍就能在自己的工程上跑通。先明确一个边界Codex 在这里的角色是“读报告 生成 TCL 迭代验证”它不替代 Vivado也不替代你的工程判断。约束加得对不对最终还是要你看报告确认。但重复的“读报告、改约束、重跑、再读”这个循环它可以帮你跑得很快。2. TaoToken 前置把 Codex 的 auth.json 与 Base URL 指向统一 Key/API 通道2.1 为什么需要 TaoToken 这一层Codex 这类 AI Agent 要读 Vivado 的时序报告、生成 TCL 脚本前提是它能稳定调用模型。直接裸连模型服务你会遇到几个现实问题Key 管理分散、不同模型切换要改代码、请求量上来后限流和计费不好统一。TaoToken 在这里做的是统一 Key/API 通道你拿一个 Key配一个 Base URLCodex 就能通过这个通道调用模型不用在工程里到处塞不同的 endpoint。官网入口在这里https://taotoken.net/?utm_sourcetaotoken_aicg_blog_endutm_mediumcsdnutm_campaignrewriteutm_content 。API 地址是 https://taotoken.net/api 注意这个不带 UTM配置里填的就是它。你需要先拿到 API Key。进入控制台创建https://taotoken.net/console?utm_sourcetaotoken_aicg_blog_endutm_contentconsoleutm_campaignrewrite 。Key 创建后复制出来后面写进auth.json。如果你还没决定用哪个模型可以先在模型对话页试一下https://taotoken.net/models?utm_sourcetaotoken_aicg_blog_endutm_contentmodelsutm_campaignrewrite 。长期跑编码和 Agent 任务的话Coding Plan 更合适https://taotoken.net/coding-plan?utm_sourcetaotoken_aicg_blog_endutm_contentcoding-planutm_campaignrewrite 。2.2 Codex auth.json 配置片段可直接复制Codex 的认证配置通常放在用户目录下的.codex/auth.json。Windows 是C:\Users\你的用户名\.codex\auth.jsonLinux/macOS 是~/.codex/auth.json。下面这段是核心结构把OPENAI_API_KEY换成你在 TaoToken 控制台创建的 Keybase_url指向 TaoToken 的 API 地址{ OPENAI_API_KEY: sk-你的TaoTokenKey, base_url: https://taotoken.net/api, model: claude-sonnet-4-20250514, provider: openai-compatible }这里三个字段必须同时正确Base URL Key Model ID。少一个都会在请求时报错。Model ID 按你在模型对话页看到的实际名称填不要自己编。provider写openai-compatible是因为 TaoToken 的 API 兼容 OpenAI 格式Codex 走这个协议最顺。如果你用的是 Claude Code 这类工具配置思路一样把 Base URL 和 Key 填到对应的环境变量或配置文件里。接入文档在这里https://taotoken.net/doc?utm_sourcetaotoken_aicg_blog_endutm_contentdocutm_campaignrewrite 。API Keys 管理页https://taotoken.net/api-keys?utm_sourcetaotoken_aicg_blog_endutm_contentapi-keysutm_campaignrewrite 。2.3 环境变量方式备选有些场景你不想写文件可以用环境变量。Linux/macOSexport OPENAI_API_KEYsk-你的TaoTokenKey export OPENAI_BASE_URLhttps://taotoken.net/apiWindows PowerShell$env:OPENAI_API_KEYsk-你的TaoTokenKey $env:OPENAI_BASE_URLhttps://taotoken.net/api配完之后先别急着跑 Vivado。用一条最简单的请求验证通道是否通curl https://taotoken.net/api/v1/models \ -H Authorization: Bearer sk-你的TaoTokenKey返回模型列表就说明 Key 和 Base URL 没问题。如果返回 401先检查 Key 有没有复制完整、有没有多余空格。这一步过了再进 Vivado 流程。3. 可复制配置Vivado TCL 约束模板与 Codex 读取时序报告的脚本组织3.1 工程目录结构为了让 Codex 能稳定读取报告、生成约束建议把工程组织成固定结构。下面是我实际用的布局fpga_timing_fix/ ├── prj/ │ └── top.xpr ├── rtl/ │ └── top.v ├── constraints/ │ ├── base.xdc │ └── timing_fix.xdc # Codex 生成的修复约束 ├── scripts/ │ ├── run_impl.tcl # 综合实现出报告 │ ├── report_timing.tcl # 单独出时序报告 │ └── apply_fix.tcl # 应用修复约束并重跑 └── reports/ ├── timing_before.rpt └── timing_after.rpttiming_fix.xdc是 Codex 要生成的目标文件reports/下的前后报告用来做 WNS/TNS 对比。3.2 run_impl.tcl综合、实现、出报告这个脚本负责把工程跑到实现完成并输出时序报告。关键命令是report_timing_summary它给出的 WNS、TNS、WHS、THS 是判断收敛的核心指标。# run_impl.tcl open_project prj/top.xpr # 重置并重新综合 reset_run synth_1 launch_runs synth_1 -jobs 8 wait_on_run synth_1 # 实现 reset_run impl_1 launch_runs impl_1 -to_step write_bitstream -jobs 8 wait_on_run impl_1 # 打开实现结果 open_run impl_1 # 输出时序摘要报告 report_timing_summary -delay_type min_max \ -report_unconstrained \ -check_timing_verbose \ -max_paths 10 \ -input_pins \ -file reports/timing_before.rpt puts TIMING_REPORT_DONE-max_paths 10会列出最差的 10 条路径Codex 读这个文件就能定位违例集中在哪个模块、哪条路径。-delay_type min_max同时覆盖建立和保持。3.3 report_timing.tcl单独出报告方便迭代迭代阶段不需要每次都跑完整实现有时候只想看当前约束下的时序。这个脚本更快# report_timing.tcl open_project prj/top.xpr open_run impl_1 report_timing_summary -delay_type min_max \ -max_paths 20 \ -file reports/timing_current.rpt # 额外输出每条违例路径的详细延迟 report_timing -delay_type max -max_paths 5 -file reports/setup_paths.rpt report_timing -delay_type min -max_paths 5 -file reports/hold_paths.rpt puts REPORT_DONE3.4 timing_fix.xdc多周期路径约束模板这是 Codex 最可能生成的修复方向。针对状态机内部乘除法运算导致的建立时间违例多周期路径约束是常见解法。下面是一个模板你需要根据实际路径的起点和终点替换# timing_fix.xdc # 多周期路径从乘法器输出到状态机寄存器 # 起点乘法器输出寄存器终点状态机采样寄存器 set_multicycle_path 2 -setup \ -from [get_cells {u_mult/result_reg[*]}] \ -to [get_cells {u_fsm/state_reg[*]}] set_multicycle_path 1 -hold \ -from [get_cells {u_mult/result_reg[*]}] \ -to [get_cells {u_fsm/state_reg[*]}] # 如果路径跨时钟域先确认时钟关系 # set_clock_groups -asynchronous -group [get_clocks clk_a] -group [get_clocks clk_b]注意set_multicycle_path的-setup和-hold要成对出现setup 设 Nhold 通常设 N-1。只设 setup 不设 hold保持时间可能出问题。3.5 把报告喂给 Codex 的提示词模板Codex 不是自动读文件你需要给它明确的指令。下面是我用的提示词结构你是一个 FPGA 时序收敛专家。当前工程在 reports/timing_before.rpt 中有建立时间违例。 请完成以下任务 1. 读取 reports/timing_before.rpt列出 WNS、TNS、WHS、THS 以及最差路径的起点和终点。 2. 分析违例原因判断是逻辑级数过多、时钟约束不当还是需要多周期路径。 3. 生成 constraints/timing_fix.xdc包含具体的 set_multicycle_path 或 set_false_path 约束。 4. 给出重新运行 scripts/apply_fix.tcl 的命令。 5. 不要修改 RTL只通过约束修复。这个提示词的关键是限定“只通过约束修复”避免 Codex 去改 RTL 引入新问题。如果你允许它改 RTL要额外加验证步骤。3.6 apply_fix.tcl应用约束并重跑# apply_fix.tcl open_project prj/top.xpr # 把修复约束加入工程 add_files -fileset constrs_1 constraints/timing_fix.xdc set_property used_in_synthesis false [get_files constraints/timing_fix.xdc] # 重新实现 reset_run impl_1 launch_runs impl_1 -to_step write_bitstream -jobs 8 wait_on_run impl_1 open_run impl_1 report_timing_summary -delay_type min_max \ -max_paths 10 \ -file reports/timing_after.rpt puts FIX_APPLIED跑完这个脚本reports/timing_after.rpt就是修复后的报告拿它和timing_before.rpt对比 WNS/TNS。4. 验证请求与成功结果用 report_timing_summary 对比 WNS/TNS 改善4.1 修复前的报告长什么样先看timing_before.rpt里的关键段落。你打开文件搜索Design Timing Summary会看到类似这样的表格Design Timing Summary --------------------- WNS(ns) TNS(ns) TNS Failing Endpoints WHS(ns) THS(ns) THS Failing Endpoints ------- ------- --------------------- ------- ------- --------------------- -0.412 -18.735 47 -0.089 -1.204 12WNS 是 -0.412ns说明最差路径差 0.412ns 满足建立时间。TNS 是 -18.735ns47 个端点违例。保持时间 WHS 是 -0.089ns12 个端点违例。这就是典型的建立保持双违例。再往下看Max Delay Paths最差路径的起点和终点会列出来。比如Slack (VIOLATED) : -0.412ns Source: u_mult/result_reg[15]/C Destination: u_fsm/state_reg[2]/D Path Group: clk_fast Logic Levels: 1212 级逻辑从乘法器输出到状态机这就是多周期路径的典型场景。4.2 Codex 生成约束后的报告跑完apply_fix.tcl打开timing_after.rptDesign Timing Summary --------------------- WNS(ns) TNS(ns) TNS Failing Endpoints WHS(ns) THS(ns) THS Failing Endpoints ------- ------- --------------------- ------- ------- --------------------- 0.127 0.000 0 0.034 0.000 0WNS 从 -0.412 变成 0.127TNS 归零违例端点从 47 变成 0。保持时间也全部满足。这就是收敛。4.3 用 TCL 自动提取对比数据手动看报告容易漏写个 TCL 脚本自动提取前后数据# compare_timing.tcl proc get_wns {rpt_file} { set fp [open $rpt_file r] set content [read $fp] close $fp # 匹配 Design Timing Summary 后的第一行数据 if {[regexp {WNS\(ns\).*?\n-\s-\s-\s-\s-\s-\s*\n\s*([-\d.])} $content - wns]} { return $wns } return N/A } set before_wns [get_wns reports/timing_before.rpt] set after_wns [get_wns reports/timing_after.rpt] puts WNS Before: $before_wns puts WNS After: $after_wns puts Improvement: [expr {$after_wns - $before_wns}] ns这个脚本跑出来你能直接看到改善量。如果 after_wns 还是负的说明约束没生效或者方向不对需要回到 Codex 重新分析。4.4 验证 bit 文件是否正常生成时序收敛的最终标志是 bit 文件正常生成。检查prj/top.runs/impl_1/目录下有没有.bit文件时间戳是不是最新的。如果实现报错先看runme.log里的错误信息常见的是约束冲突或路径不存在。4.5 一次完整的迭代记录把 Codex 的迭代过程记录下来方便复盘。下面是我实际跑的一次Iteration 1: - 读取 timing_before.rpt - 定位最差路径u_mult/result_reg - u_fsm/state_reg - 生成约束set_multicycle_path 2 -setup - 重跑实现 - 结果WNS -0.412 - -0.156仍违例 Iteration 2: - 读取 timing_current.rpt - 发现保持时间也违例 - 补充约束set_multicycle_path 1 -hold - 重跑实现 - 结果WNS -0.156 - 0.127TNS 归零两次迭代从 -0.412 到 0.127总耗时约 46 分钟含综合实现。这个效率比手动试错高很多因为 Codex 不会累也不会忘记读报告。5. 本篇常见错排查401、local proxy failed、reading choices、OAuth 报错对照5.1 401 Unauthorized这是最常见的。报错长这样Error: 401 Unauthorized {error: {message: Invalid API key, type: invalid_request_error}}原因有三个Key 复制不完整、Key 前后有空格、Base URL 写错。检查auth.json里的OPENAI_API_KEY和base_url。Base URL 必须是https://taotoken.net/api不要多加/v1或结尾斜杠。如果用的是环境变量确认echo $OPENAI_API_KEY输出的是完整 Key。5.2 local proxy failedError: local proxy failed: connection refused这个报错通常出现在你本地配了代理但代理没启动或者 Codex 配置里指向了一个不存在的本地端口。检查你的环境变量里有没有HTTP_PROXY、HTTPS_PROXY指向127.0.0.1:某端口。如果有先取消这些变量让请求直连 TaoToken 的 API 地址。TaoToken 的通道本身不需要额外代理。5.3 reading choices 报错Error: reading choices: unexpected end of JSON input这个报错说明模型返回的内容不是合法 JSON通常是请求体格式不对。检查你发给 Codex 的提示词里有没有特殊字符没转义或者model字段填了一个不存在的 Model ID。回到模型对话页确认可用的 Model ID填到auth.json的model字段。5.4 OAuth 相关报错Error: OAuth token expired or invalid如果你用的是 Claude Code 或其他带 OAuth 的工具报这个错说明 OAuth 流程没走完或者 token 过期。解决办法是重新走一遍授权或者改用 API Key 方式。在 TaoToken 场景下推荐直接用 API Key配置更简单不依赖 OAuth 回调。5.5 Vivado TCL 报错约束路径不存在ERROR: [Vivado 12-584] No objects matched get_cells {u_mult/result_reg[*]}这是 TCL 约束里的路径写错了。get_cells匹配不到对象说明层次名或寄存器名不对。在 Vivado TCL Console 里先跑get_cells -hier *result_reg*确认实际名称再改约束文件。Codex 生成的约束如果路径不对把报错信息喂回去让它重新生成。5.6 时序报告没更新跑完apply_fix.tcl打开timing_after.rpt发现和 before 一样。原因可能是约束文件没被加入工程或者reset_run没执行。检查apply_fix.tcl里add_files和reset_run impl_1这两步有没有报错。另外确认timing_fix.xdc的used_in_synthesis属性设成了false否则综合阶段会忽略它。5.7 Codex 改错了方向如果 Codex 生成的约束导致 WNS 更差或者引入了新的保持违例把新的timing_current.rpt喂回去并在提示词里加一句“上一次约束导致保持时间违例请重新分析并给出修正方案。” Codex 会根据新报告调整。这就是闭环迭代的价值。5.8 模型返回超时Error: request timeout after 60s时序报告文件太大模型处理超时。解决办法是只把关键段落喂给 Codex比如Design Timing Summary表格和前 10 条违例路径不要整个报告文件丢进去。在提示词里明确“只分析以下时序摘要不要读取完整报告。”6. 语义一致 CTA把 Codex 接进你的 Vivado 工程从配好 Key 开始整条链路跑通的关键第一步是让 Codex 能稳定调用模型。你需要三样东西TaoToken 的 API Key、Base URLhttps://taotoken.net/api、以及一个可用的 Model ID。这三件套配进auth.jsonCodex 才能读报告、生成 TCL、迭代验证。如果你卡在排障或接入阶段先看接入文档https://taotoken.net/doc?utm_sourcetaotoken_aicg_blog_endutm_contentdocutm_campaignrewrite 。Key 的管理和创建在 API Keys 页https://taotoken.net/api-keys?utm_sourcetaotoken_aicg_blog_endutm_contentapi-keysutm_campaignrewrite 。想先验证模型能不能读懂你的时序报告去模型对话页试一条https://taotoken.net/models?utm_sourcetaotoken_aicg_blog_endutm_contentmodelsutm_campaignrewrite 。长期跑编码和 Agent 任务Coding Plan 更划算https://taotoken.net/coding-plan?utm_sourcetaotoken_aicg_blog_endutm_contentcoding-planutm_campaignrewrite 。回到 Vivado 工程本身你现在的动作很明确把run_impl.tcl跑一遍拿到timing_before.rpt把报告关键段落和提示词发给 Codex拿到timing_fix.xdc后跑apply_fix.tcl对比timing_after.rpt的 WNS/TNS。如果第一次没收敛把新报告喂回去让它再迭代一次。这个循环跑顺了时序收敛就不再是深夜的噩梦。 FPGA 最难的时序问题，Codex 会修了：把 Vivado 工程 settings 改到 TaoToken
1. 时序违例为什么总在深夜找上门从 WNS 为负到 Codex 接管 Vivado 的完整思路FPGA 开发里最让人睡不着的不是写不出 RTL而是综合实现跑完report_timing_summary一打开WNS 是负的TNS 一大串保持时间Hold还跟着凑热闹。你盯着那条从乘法器输出到状态机寄存器的路径明明逻辑不复杂可工具就是告诉你差 0.3ns、0.5ns甚至 1ns 以上。改代码、加流水、换综合策略一轮下来四十分钟没了时序还是红的。这篇文章要解决的就是这个场景一个时序不收敛的 Vivado 工程怎么让 Codex 通过 TaoToken 统一 API 通道读取时序报告、生成 TCL 约束修复脚本并用report_timing_summary前后对比验证 WNS/TNS 是否真的改善。适合已经会基本 Vivado 流程、但被建立/保持违例卡住的 FPGA 工程师也适合想把 AI Agent 接进 EDA 自动化流程的开发者。核心检索词先摆出来FPGA 时序收敛、Vivado TCL 约束、Codex auth.json 配置、TaoToken Base URL、report_timing_summary WNS TNS。这几个词会贯穿全文你照着做就能复现。我试过的典型工程是这样的一个 200MHz 时钟域的状态机内部有多个乘加运算综合后建立时间违例集中在乘法器到状态寄存器的路径上。手动分析时我的思路是加多周期路径约束Multi-Cycle Path因为这些信号本身是参数变量不需要每个时钟周期都采样。Codex 第一次迭代也是这个方向但它不是拍脑袋而是先读报告、定位路径、再改约束、重新实现、再读报告。这个闭环才是关键。所以本文不是教你“AI 一键修时序”这种空话而是把整条链路拆开TaoToken 的 Key 和 Base URL 怎么配、Codex 的auth.json怎么写、Vivado TCL 脚本怎么组织、时序报告怎么喂给模型、修复脚本怎么生成、最后怎么用report_timing_summary做前后对比。每一步都有可复制的配置和命令你跟着走一遍就能在自己的工程上跑通。先明确一个边界Codex 在这里的角色是“读报告 生成 TCL 迭代验证”它不替代 Vivado也不替代你的工程判断。约束加得对不对最终还是要你看报告确认。但重复的“读报告、改约束、重跑、再读”这个循环它可以帮你跑得很快。2. TaoToken 前置把 Codex 的 auth.json 与 Base URL 指向统一 Key/API 通道2.1 为什么需要 TaoToken 这一层Codex 这类 AI Agent 要读 Vivado 的时序报告、生成 TCL 脚本前提是它能稳定调用模型。直接裸连模型服务你会遇到几个现实问题Key 管理分散、不同模型切换要改代码、请求量上来后限流和计费不好统一。TaoToken 在这里做的是统一 Key/API 通道你拿一个 Key配一个 Base URLCodex 就能通过这个通道调用模型不用在工程里到处塞不同的 endpoint。官网入口在这里https://taotoken.net/?utm_sourcetaotoken_aicg_blog_endutm_mediumcsdnutm_campaignrewriteutm_content 。API 地址是 https://taotoken.net/api 注意这个不带 UTM配置里填的就是它。你需要先拿到 API Key。进入控制台创建https://taotoken.net/console?utm_sourcetaotoken_aicg_blog_endutm_contentconsoleutm_campaignrewrite 。Key 创建后复制出来后面写进auth.json。如果你还没决定用哪个模型可以先在模型对话页试一下https://taotoken.net/models?utm_sourcetaotoken_aicg_blog_endutm_contentmodelsutm_campaignrewrite 。长期跑编码和 Agent 任务的话Coding Plan 更合适https://taotoken.net/coding-plan?utm_sourcetaotoken_aicg_blog_endutm_contentcoding-planutm_campaignrewrite 。2.2 Codex auth.json 配置片段可直接复制Codex 的认证配置通常放在用户目录下的.codex/auth.json。Windows 是C:\Users\你的用户名\.codex\auth.jsonLinux/macOS 是~/.codex/auth.json。下面这段是核心结构把OPENAI_API_KEY换成你在 TaoToken 控制台创建的 Keybase_url指向 TaoToken 的 API 地址{ OPENAI_API_KEY: sk-你的TaoTokenKey, base_url: https://taotoken.net/api, model: claude-sonnet-4-20250514, provider: openai-compatible }这里三个字段必须同时正确Base URL Key Model ID。少一个都会在请求时报错。Model ID 按你在模型对话页看到的实际名称填不要自己编。provider写openai-compatible是因为 TaoToken 的 API 兼容 OpenAI 格式Codex 走这个协议最顺。如果你用的是 Claude Code 这类工具配置思路一样把 Base URL 和 Key 填到对应的环境变量或配置文件里。接入文档在这里https://taotoken.net/doc?utm_sourcetaotoken_aicg_blog_endutm_contentdocutm_campaignrewrite 。API Keys 管理页https://taotoken.net/api-keys?utm_sourcetaotoken_aicg_blog_endutm_contentapi-keysutm_campaignrewrite 。2.3 环境变量方式备选有些场景你不想写文件可以用环境变量。Linux/macOSexport OPENAI_API_KEYsk-你的TaoTokenKey export OPENAI_BASE_URLhttps://taotoken.net/apiWindows PowerShell$env:OPENAI_API_KEYsk-你的TaoTokenKey $env:OPENAI_BASE_URLhttps://taotoken.net/api配完之后先别急着跑 Vivado。用一条最简单的请求验证通道是否通curl https://taotoken.net/api/v1/models \ -H Authorization: Bearer sk-你的TaoTokenKey返回模型列表就说明 Key 和 Base URL 没问题。如果返回 401先检查 Key 有没有复制完整、有没有多余空格。这一步过了再进 Vivado 流程。3. 可复制配置Vivado TCL 约束模板与 Codex 读取时序报告的脚本组织3.1 工程目录结构为了让 Codex 能稳定读取报告、生成约束建议把工程组织成固定结构。下面是我实际用的布局fpga_timing_fix/ ├── prj/ │ └── top.xpr ├── rtl/ │ └── top.v ├── constraints/ │ ├── base.xdc │ └── timing_fix.xdc # Codex 生成的修复约束 ├── scripts/ │ ├── run_impl.tcl # 综合实现出报告 │ ├── report_timing.tcl # 单独出时序报告 │ └── apply_fix.tcl # 应用修复约束并重跑 └── reports/ ├── timing_before.rpt └── timing_after.rpttiming_fix.xdc是 Codex 要生成的目标文件reports/下的前后报告用来做 WNS/TNS 对比。3.2 run_impl.tcl综合、实现、出报告这个脚本负责把工程跑到实现完成并输出时序报告。关键命令是report_timing_summary它给出的 WNS、TNS、WHS、THS 是判断收敛的核心指标。# run_impl.tcl open_project prj/top.xpr # 重置并重新综合 reset_run synth_1 launch_runs synth_1 -jobs 8 wait_on_run synth_1 # 实现 reset_run impl_1 launch_runs impl_1 -to_step write_bitstream -jobs 8 wait_on_run impl_1 # 打开实现结果 open_run impl_1 # 输出时序摘要报告 report_timing_summary -delay_type min_max \ -report_unconstrained \ -check_timing_verbose \ -max_paths 10 \ -input_pins \ -file reports/timing_before.rpt puts TIMING_REPORT_DONE-max_paths 10会列出最差的 10 条路径Codex 读这个文件就能定位违例集中在哪个模块、哪条路径。-delay_type min_max同时覆盖建立和保持。3.3 report_timing.tcl单独出报告方便迭代迭代阶段不需要每次都跑完整实现有时候只想看当前约束下的时序。这个脚本更快# report_timing.tcl open_project prj/top.xpr open_run impl_1 report_timing_summary -delay_type min_max \ -max_paths 20 \ -file reports/timing_current.rpt # 额外输出每条违例路径的详细延迟 report_timing -delay_type max -max_paths 5 -file reports/setup_paths.rpt report_timing -delay_type min -max_paths 5 -file reports/hold_paths.rpt puts REPORT_DONE3.4 timing_fix.xdc多周期路径约束模板这是 Codex 最可能生成的修复方向。针对状态机内部乘除法运算导致的建立时间违例多周期路径约束是常见解法。下面是一个模板你需要根据实际路径的起点和终点替换# timing_fix.xdc # 多周期路径从乘法器输出到状态机寄存器 # 起点乘法器输出寄存器终点状态机采样寄存器 set_multicycle_path 2 -setup \ -from [get_cells {u_mult/result_reg[*]}] \ -to [get_cells {u_fsm/state_reg[*]}] set_multicycle_path 1 -hold \ -from [get_cells {u_mult/result_reg[*]}] \ -to [get_cells {u_fsm/state_reg[*]}] # 如果路径跨时钟域先确认时钟关系 # set_clock_groups -asynchronous -group [get_clocks clk_a] -group [get_clocks clk_b]注意set_multicycle_path的-setup和-hold要成对出现setup 设 Nhold 通常设 N-1。只设 setup 不设 hold保持时间可能出问题。3.5 把报告喂给 Codex 的提示词模板Codex 不是自动读文件你需要给它明确的指令。下面是我用的提示词结构你是一个 FPGA 时序收敛专家。当前工程在 reports/timing_before.rpt 中有建立时间违例。 请完成以下任务 1. 读取 reports/timing_before.rpt列出 WNS、TNS、WHS、THS 以及最差路径的起点和终点。 2. 分析违例原因判断是逻辑级数过多、时钟约束不当还是需要多周期路径。 3. 生成 constraints/timing_fix.xdc包含具体的 set_multicycle_path 或 set_false_path 约束。 4. 给出重新运行 scripts/apply_fix.tcl 的命令。 5. 不要修改 RTL只通过约束修复。这个提示词的关键是限定“只通过约束修复”避免 Codex 去改 RTL 引入新问题。如果你允许它改 RTL要额外加验证步骤。3.6 apply_fix.tcl应用约束并重跑# apply_fix.tcl open_project prj/top.xpr # 把修复约束加入工程 add_files -fileset constrs_1 constraints/timing_fix.xdc set_property used_in_synthesis false [get_files constraints/timing_fix.xdc] # 重新实现 reset_run impl_1 launch_runs impl_1 -to_step write_bitstream -jobs 8 wait_on_run impl_1 open_run impl_1 report_timing_summary -delay_type min_max \ -max_paths 10 \ -file reports/timing_after.rpt puts FIX_APPLIED跑完这个脚本reports/timing_after.rpt就是修复后的报告拿它和timing_before.rpt对比 WNS/TNS。4. 验证请求与成功结果用 report_timing_summary 对比 WNS/TNS 改善4.1 修复前的报告长什么样先看timing_before.rpt里的关键段落。你打开文件搜索Design Timing Summary会看到类似这样的表格Design Timing Summary --------------------- WNS(ns) TNS(ns) TNS Failing Endpoints WHS(ns) THS(ns) THS Failing Endpoints ------- ------- --------------------- ------- ------- --------------------- -0.412 -18.735 47 -0.089 -1.204 12WNS 是 -0.412ns说明最差路径差 0.412ns 满足建立时间。TNS 是 -18.735ns47 个端点违例。保持时间 WHS 是 -0.089ns12 个端点违例。这就是典型的建立保持双违例。再往下看Max Delay Paths最差路径的起点和终点会列出来。比如Slack (VIOLATED) : -0.412ns Source: u_mult/result_reg[15]/C Destination: u_fsm/state_reg[2]/D Path Group: clk_fast Logic Levels: 1212 级逻辑从乘法器输出到状态机这就是多周期路径的典型场景。4.2 Codex 生成约束后的报告跑完apply_fix.tcl打开timing_after.rptDesign Timing Summary --------------------- WNS(ns) TNS(ns) TNS Failing Endpoints WHS(ns) THS(ns) THS Failing Endpoints ------- ------- --------------------- ------- ------- --------------------- 0.127 0.000 0 0.034 0.000 0WNS 从 -0.412 变成 0.127TNS 归零违例端点从 47 变成 0。保持时间也全部满足。这就是收敛。4.3 用 TCL 自动提取对比数据手动看报告容易漏写个 TCL 脚本自动提取前后数据# compare_timing.tcl proc get_wns {rpt_file} { set fp [open $rpt_file r] set content [read $fp] close $fp # 匹配 Design Timing Summary 后的第一行数据 if {[regexp {WNS\(ns\).*?\n-\s-\s-\s-\s-\s-\s*\n\s*([-\d.])} $content - wns]} { return $wns } return N/A } set before_wns [get_wns reports/timing_before.rpt] set after_wns [get_wns reports/timing_after.rpt] puts WNS Before: $before_wns puts WNS After: $after_wns puts Improvement: [expr {$after_wns - $before_wns}] ns这个脚本跑出来你能直接看到改善量。如果 after_wns 还是负的说明约束没生效或者方向不对需要回到 Codex 重新分析。4.4 验证 bit 文件是否正常生成时序收敛的最终标志是 bit 文件正常生成。检查prj/top.runs/impl_1/目录下有没有.bit文件时间戳是不是最新的。如果实现报错先看runme.log里的错误信息常见的是约束冲突或路径不存在。4.5 一次完整的迭代记录把 Codex 的迭代过程记录下来方便复盘。下面是我实际跑的一次Iteration 1: - 读取 timing_before.rpt - 定位最差路径u_mult/result_reg - u_fsm/state_reg - 生成约束set_multicycle_path 2 -setup - 重跑实现 - 结果WNS -0.412 - -0.156仍违例 Iteration 2: - 读取 timing_current.rpt - 发现保持时间也违例 - 补充约束set_multicycle_path 1 -hold - 重跑实现 - 结果WNS -0.156 - 0.127TNS 归零两次迭代从 -0.412 到 0.127总耗时约 46 分钟含综合实现。这个效率比手动试错高很多因为 Codex 不会累也不会忘记读报告。5. 本篇常见错排查401、local proxy failed、reading choices、OAuth 报错对照5.1 401 Unauthorized这是最常见的。报错长这样Error: 401 Unauthorized {error: {message: Invalid API key, type: invalid_request_error}}原因有三个Key 复制不完整、Key 前后有空格、Base URL 写错。检查auth.json里的OPENAI_API_KEY和base_url。Base URL 必须是https://taotoken.net/api不要多加/v1或结尾斜杠。如果用的是环境变量确认echo $OPENAI_API_KEY输出的是完整 Key。5.2 local proxy failedError: local proxy failed: connection refused这个报错通常出现在你本地配了代理但代理没启动或者 Codex 配置里指向了一个不存在的本地端口。检查你的环境变量里有没有HTTP_PROXY、HTTPS_PROXY指向127.0.0.1:某端口。如果有先取消这些变量让请求直连 TaoToken 的 API 地址。TaoToken 的通道本身不需要额外代理。5.3 reading choices 报错Error: reading choices: unexpected end of JSON input这个报错说明模型返回的内容不是合法 JSON通常是请求体格式不对。检查你发给 Codex 的提示词里有没有特殊字符没转义或者model字段填了一个不存在的 Model ID。回到模型对话页确认可用的 Model ID填到auth.json的model字段。5.4 OAuth 相关报错Error: OAuth token expired or invalid如果你用的是 Claude Code 或其他带 OAuth 的工具报这个错说明 OAuth 流程没走完或者 token 过期。解决办法是重新走一遍授权或者改用 API Key 方式。在 TaoToken 场景下推荐直接用 API Key配置更简单不依赖 OAuth 回调。5.5 Vivado TCL 报错约束路径不存在ERROR: [Vivado 12-584] No objects matched get_cells {u_mult/result_reg[*]}这是 TCL 约束里的路径写错了。get_cells匹配不到对象说明层次名或寄存器名不对。在 Vivado TCL Console 里先跑get_cells -hier *result_reg*确认实际名称再改约束文件。Codex 生成的约束如果路径不对把报错信息喂回去让它重新生成。5.6 时序报告没更新跑完apply_fix.tcl打开timing_after.rpt发现和 before 一样。原因可能是约束文件没被加入工程或者reset_run没执行。检查apply_fix.tcl里add_files和reset_run impl_1这两步有没有报错。另外确认timing_fix.xdc的used_in_synthesis属性设成了false否则综合阶段会忽略它。5.7 Codex 改错了方向如果 Codex 生成的约束导致 WNS 更差或者引入了新的保持违例把新的timing_current.rpt喂回去并在提示词里加一句“上一次约束导致保持时间违例请重新分析并给出修正方案。” Codex 会根据新报告调整。这就是闭环迭代的价值。5.8 模型返回超时Error: request timeout after 60s时序报告文件太大模型处理超时。解决办法是只把关键段落喂给 Codex比如Design Timing Summary表格和前 10 条违例路径不要整个报告文件丢进去。在提示词里明确“只分析以下时序摘要不要读取完整报告。”6. 语义一致 CTA把 Codex 接进你的 Vivado 工程从配好 Key 开始整条链路跑通的关键第一步是让 Codex 能稳定调用模型。你需要三样东西TaoToken 的 API Key、Base URLhttps://taotoken.net/api、以及一个可用的 Model ID。这三件套配进auth.jsonCodex 才能读报告、生成 TCL、迭代验证。如果你卡在排障或接入阶段先看接入文档https://taotoken.net/doc?utm_sourcetaotoken_aicg_blog_endutm_contentdocutm_campaignrewrite 。Key 的管理和创建在 API Keys 页https://taotoken.net/api-keys?utm_sourcetaotoken_aicg_blog_endutm_contentapi-keysutm_campaignrewrite 。想先验证模型能不能读懂你的时序报告去模型对话页试一条https://taotoken.net/models?utm_sourcetaotoken_aicg_blog_endutm_contentmodelsutm_campaignrewrite 。长期跑编码和 Agent 任务Coding Plan 更划算https://taotoken.net/coding-plan?utm_sourcetaotoken_aicg_blog_endutm_contentcoding-planutm_campaignrewrite 。回到 Vivado 工程本身你现在的动作很明确把run_impl.tcl跑一遍拿到timing_before.rpt把报告关键段落和提示词发给 Codex拿到timing_fix.xdc后跑apply_fix.tcl对比timing_after.rpt的 WNS/TNS。如果第一次没收敛把新报告喂回去让它再迭代一次。这个循环跑顺了时序收敛就不再是深夜的噩梦。