"use strict"; const {Fragment: _Fragment, jsx: _jsx, jsxs: _jsxs} = arguments[0]; const {useMDXComponents: _provideComponents} = arguments[0]; function _createMdxContent(props) { const _components = { a: "a", code: "code", h1: "h1", h2: "h2", h3: "h3", h4: "h4", hr: "hr", input: "input", li: "li", mermaid: "mermaid", ol: "ol", p: "p", path: "path", pre: "pre", span: "span", strong: "strong", svg: "svg", ul: "ul", ..._provideComponents(), ...props.components }; return _jsxs(_Fragment, { children: [_jsxs(_components.h1, { id: "约束验证与调试", children: [_jsx(_components.a, { className: "heading-link", href: "#约束验证与调试", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "约束验证与调试"] }), "\n", _jsxs(_components.h2, { id: "目录", children: [_jsx(_components.a, { className: "heading-link", href: "#目录", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "目录"] }), "\n", _jsxs(_components.ol, { children: ["\n", _jsx(_components.li, { children: _jsx(_components.a, { href: "/05-%E6%97%B6%E5%BA%8F%E7%BA%A6%E6%9D%9F/02-%E5%B7%A5%E5%85%B7%E5%88%86%E6%9E%90/%25E7%25BA%25A6%25E6%259D%259F%25E9%25AA%258C%25E8%25AF%2581%25E4%25B8%258E%25E8%25B0%2583%25E8%25AF%2595#120%E6%97%B6%E5%BA%8F%E6%8A%A5%E5%91%8A%E5%88%86%E6%9E%90", children: "1. 时序报告分析" }) }), "\n", _jsx(_components.li, { children: _jsx(_components.a, { href: "/05-%E6%97%B6%E5%BA%8F%E7%BA%A6%E6%9D%9F/02-%E5%B7%A5%E5%85%B7%E5%88%86%E6%9E%90/%25E7%25BA%25A6%25E6%259D%259F%25E9%25AA%258C%25E8%25AF%2581%25E4%25B8%258E%25E8%25B0%2583%25E8%25AF%2595#220%E7%BA%A6%E6%9D%9F%E6%A3%80%E6%9F%A5%E6%B8%85%E5%8D%95", children: "2. 约束检查清单" }) }), "\n", _jsx(_components.li, { children: _jsx(_components.a, { href: "/05-%E6%97%B6%E5%BA%8F%E7%BA%A6%E6%9D%9F/02-%E5%B7%A5%E5%85%B7%E5%88%86%E6%9E%90/%25E7%25BA%25A6%25E6%259D%259F%25E9%25AA%258C%25E8%25AF%2581%25E4%25B8%258E%25E8%25B0%2583%25E8%25AF%2595#320%E5%B8%B8%E8%A7%81%E9%97%AE%E9%A2%98%E4%B8%8E%E8%A7%A3%E5%86%B3%E6%96%B9%E6%A1%88", children: "3. 常见问题与解决方案" }) }), "\n", _jsx(_components.li, { children: _jsx(_components.a, { href: "/05-%E6%97%B6%E5%BA%8F%E7%BA%A6%E6%9D%9F/02-%E5%B7%A5%E5%85%B7%E5%88%86%E6%9E%90/%25E7%25BA%25A6%25E6%259D%259F%25E9%25AA%258C%25E8%25AF%2581%25E4%25B8%258E%25E8%25B0%2583%25E8%25AF%2595#420%E8%B0%83%E8%AF%95%E5%B7%A5%E5%85%B7%E4%B8%8E%E6%8A%80%E5%B7%A7", children: "4. 调试工具与技巧" }) }), "\n", _jsx(_components.li, { children: _jsx(_components.a, { href: "/05-%E6%97%B6%E5%BA%8F%E7%BA%A6%E6%9D%9F/02-%E5%B7%A5%E5%85%B7%E5%88%86%E6%9E%90/%25E7%25BA%25A6%25E6%259D%259F%25E9%25AA%258C%25E8%25AF%2581%25E4%25B8%258E%25E8%25B0%2583%25E8%25AF%2595#520%E6%97%B6%E5%BA%8F%E6%94%B6%E6%95%9B%E7%AD%96%E7%95%A5", children: "5. 时序收敛策略" }) }), "\n", _jsx(_components.li, { children: _jsx(_components.a, { href: "/05-%E6%97%B6%E5%BA%8F%E7%BA%A6%E6%9D%9F/02-%E5%B7%A5%E5%85%B7%E5%88%86%E6%9E%90/%25E7%25BA%25A6%25E6%259D%259F%25E9%25AA%258C%25E8%25AF%2581%25E4%25B8%258E%25E8%25B0%2583%25E8%25AF%2595#620%E9%AA%8C%E8%AF%81%E6%B5%81%E7%A8%8B", children: "6. 验证流程" }) }), "\n", _jsx(_components.li, { children: _jsx(_components.a, { href: "/05-%E6%97%B6%E5%BA%8F%E7%BA%A6%E6%9D%9F/02-%E5%B7%A5%E5%85%B7%E5%88%86%E6%9E%90/%25E7%25BA%25A6%25E6%259D%259F%25E9%25AA%258C%25E8%25AF%2581%25E4%25B8%258E%25E8%25B0%2583%25E8%25AF%2595#720%E6%9C%80%E4%BD%B3%E5%AE%9E%E8%B7%B5", children: "7. 最佳实践" }) }), "\n", _jsx(_components.li, { children: _jsx(_components.a, { href: "/05-%E6%97%B6%E5%BA%8F%E7%BA%A6%E6%9D%9F/02-%E5%B7%A5%E5%85%B7%E5%88%86%E6%9E%90/%25E7%25BA%25A6%25E6%259D%259F%25E9%25AA%258C%25E8%25AF%2581%25E4%25B8%258E%25E8%25B0%2583%25E8%25AF%2595#820%E5%8F%82%E8%80%83%E8%B5%84%E6%96%99", children: "8. 参考资料" }) }), "\n"] }), "\n", _jsx(_components.hr, {}), "\n", _jsxs(_components.h2, { id: "1-时序报告分析", children: [_jsx(_components.a, { className: "heading-link", href: "#1-时序报告分析", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "1. 时序报告分析"] }), "\n", _jsxs(_components.h3, { id: "11-生成时序报告", children: [_jsx(_components.a, { className: "heading-link", href: "#11-生成时序报告", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "1.1 生成时序报告"] }), "\n", _jsxs(_components.h4, { id: "基本时序报告", children: [_jsx(_components.a, { className: "heading-link", href: "#基本时序报告", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "基本时序报告"] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 生成建立时间报告" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_timing ", _jsx(_components.span, { className: "token operator", children: "-" }), "delay_type max ", _jsx(_components.span, { className: "token operator", children: "-" }), "max_paths 100 ", _jsx(_components.span, { className: "token operator", children: "-" }), "slack_less_than 0.0 ", _jsx(_components.span, { className: "token operator", children: "-" }), "file setup_violations.rpt\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 生成保持时间报告" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_timing ", _jsx(_components.span, { className: "token operator", children: "-" }), "delay_type min ", _jsx(_components.span, { className: "token operator", children: "-" }), "max_paths 100 ", _jsx(_components.span, { className: "token operator", children: "-" }), "slack_less_than 0.0 ", _jsx(_components.span, { className: "token operator", children: "-" }), "file hold_violations.rpt\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 生成时序摘要报告" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_timing_summary ", _jsx(_components.span, { className: "token operator", children: "-" }), "warn_on_violation ", _jsx(_components.span, { className: "token operator", children: "-" }), "max_paths 10 ", _jsx(_components.span, { className: "token operator", children: "-" }), "file timing_summary.rpt\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 生成时钟域交互报告" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_clock_interaction ", _jsx(_components.span, { className: "token operator", children: "-" }), "delay_type min_max ", _jsx(_components.span, { className: "token operator", children: "-" }), "significant_digits 3 ", _jsx(_components.span, { className: "token operator", children: "-" }), "file clock_interaction.rpt\n"] })] }) }), "\n", _jsxs(_components.h4, { id: "详细路径分析", children: [_jsx(_components.a, { className: "heading-link", href: "#详细路径分析", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "详细路径分析"] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 分析特定路径的时序" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_timing ", _jsx(_components.span, { className: "token operator", children: "-" }), "from ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_registers reg_a", _jsx(_components.span, { className: "token punctuation", children: "]" }), " ", _jsx(_components.span, { className: "token operator", children: "-" }), "to ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_registers reg_b", _jsx(_components.span, { className: "token punctuation", children: "]" }), " ", _jsx(_components.span, { className: "token operator", children: "-" }), "delay_type max\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 分析关键时钟域的时序" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_timing ", _jsx(_components.span, { className: "token operator", children: "-" }), "through ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks sys_clk", _jsx(_components.span, { className: "token punctuation", children: "]" }), " ", _jsx(_components.span, { className: "token operator", children: "-" }), "max_paths 50\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 分析跨时钟域路径" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_timing ", _jsx(_components.span, { className: "token operator", children: "-" }), "from ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks clk_a", _jsx(_components.span, { className: "token punctuation", children: "]" }), " ", _jsx(_components.span, { className: "token operator", children: "-" }), "to ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks clk_b", _jsx(_components.span, { className: "token punctuation", children: "]" }), " ", _jsx(_components.span, { className: "token operator", children: "-" }), "max_paths 20\n"] })] }) }), "\n", _jsxs(_components.h4, { id: "约束覆盖率报告", children: [_jsx(_components.a, { className: "heading-link", href: "#约束覆盖率报告", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "约束覆盖率报告"] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 检查约束覆盖率" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["check_timing ", _jsx(_components.span, { className: "token operator", children: "-" }), "verbose ", _jsx(_components.span, { className: "token operator", children: "-" }), "file timing_check.rpt\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 生成未约束路径报告" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_timing ", _jsx(_components.span, { className: "token operator", children: "-" }), "unconstrained_paths ", _jsx(_components.span, { className: "token operator", children: "-" }), "max_paths 100 ", _jsx(_components.span, { className: "token operator", children: "-" }), "file unconstrained.rpt\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 检查时钟定义" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_clocks ", _jsx(_components.span, { className: "token operator", children: "-" }), "file clocks_report.rpt\n"] })] }) }), "\n", _jsxs(_components.h3, { id: "12-关键时序指标解读", children: [_jsx(_components.a, { className: "heading-link", href: "#12-关键时序指标解读", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "1.2 关键时序指标解读"] }), "\n", _jsxs(_components.h4, { id: "1-时序余量指标", children: [_jsx(_components.a, { className: "heading-link", href: "#1-时序余量指标", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "1. 时序余量指标"] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "WNS (Worst Negative Slack)" }), "：最差负时序余量，必须 ≥ 0"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "TNS (Total Negative Slack)" }), "：总负时序余量，应该 = 0"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "WHS (Worst Hold Slack)" }), "：最差保持时序余量，必须 ≥ 0"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "THS (Total Hold Slack)" }), "：总保持时序余量，应该 = 0"] }), "\n"] }), "\n", _jsxs(_components.h4, { id: "2-时序路径分析", children: [_jsx(_components.a, { className: "heading-link", href: "#2-时序路径分析", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "2. 时序路径分析"] }), "\n", _jsx(_components.pre, { children: _jsxs(_components.code, { className: "language-auto code-highlight", children: [_jsx(_components.span, { className: "code-line", children: "Path Type: Setup (Max at Slow Process Corner)\n" }), _jsx(_components.span, { className: "code-line", children: "Slack (MET): 0.234ns (required time - arrival time)\n" }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsx(_components.span, { className: "code-line", children: "Data Path Delay: 4.766ns (logic 1.234ns (25.9%) route 3.532ns (74.1%))\n" }), _jsx(_components.span, { className: "code-line", children: "Logic Levels: 3\n" }), _jsx(_components.span, { className: "code-line", children: "Clock Path Skew: 0.123ns\n" }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsx(_components.span, { className: "code-line", children: "Source: reg_a/C (rising edge-triggered flip-flop)\n" }), _jsx(_components.span, { className: "code-line", children: "Destination: reg_b/D (rising edge-triggered flip-flop)\n" })] }) }), "\n", _jsxs(_components.h4, { id: "3-时序违规分类", children: [_jsx(_components.a, { className: "heading-link", href: "#3-时序违规分类", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "3. 时序违规分类"] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "Setup Violation" }), ": 数据到达时间 > 要求时间"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "Hold Violation" }), ": 数据保持时间 < 要求保持时间"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "Recovery Violation" }), ": 异步信号恢复时间不足"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "Removal Violation" }), ": 异步信号移除时间不足"] }), "\n"] }), "\n", _jsxs(_components.h3, { id: "13-时序报告解读技巧", children: [_jsx(_components.a, { className: "heading-link", href: "#13-时序报告解读技巧", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "1.3 时序报告解读技巧"] }), "\n", _jsxs(_components.h4, { id: "1-识别关键路径", children: [_jsx(_components.a, { className: "heading-link", href: "#1-识别关键路径", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "1. 识别关键路径"] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 找出最差的10条路径" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_timing ", _jsx(_components.span, { className: "token operator", children: "-" }), "delay_type max ", _jsx(_components.span, { className: "token operator", children: "-" }), "max_paths 10 ", _jsx(_components.span, { className: "token operator", children: "-" }), "sort_by slack\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 分析逻辑层数过多的路径" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_timing ", _jsx(_components.span, { className: "token operator", children: "-" }), "logic_levels 8 ", _jsx(_components.span, { className: "token operator", children: "-" }), "max_paths 50\n"] })] }) }), "\n", _jsxs(_components.h4, { id: "2-分析路径延迟构成", children: [_jsx(_components.a, { className: "heading-link", href: "#2-分析路径延迟构成", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "2. 分析路径延迟构成"] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "Logic Delay" }), ": 逻辑门延迟，通常占20-30%"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "Route Delay" }), ": 布线延迟，通常占70-80%"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "Clock Skew" }), ": 时钟偏移，应尽量最小"] }), "\n"] }), "\n", _jsxs(_components.h4, { id: "3-时钟域分析", children: [_jsx(_components.a, { className: "heading-link", href: "#3-时钟域分析", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "3. 时钟域分析"] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 检查时钟域交互" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_clock_interaction ", _jsx(_components.span, { className: "token operator", children: "-" }), "significant_digits 3\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 分析时钟不确定性" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_clock_networks ", _jsx(_components.span, { className: "token operator", children: "-" }), "verbose\n"] })] }) }), "\n", _jsx(_components.hr, {}), "\n", _jsxs(_components.h2, { id: "2-约束检查清单", children: [_jsx(_components.a, { className: "heading-link", href: "#2-约束检查清单", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "2. 约束检查清单"] }), "\n", _jsxs(_components.h3, { id: "21-时钟约束检查", children: [_jsx(_components.a, { className: "heading-link", href: "#21-时钟约束检查", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "2.1 时钟约束检查"] }), "\n", _jsxs(_components.h4, { id: "基本时钟约束", children: [_jsx(_components.a, { className: "heading-link", href: "#基本时钟约束", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "基本时钟约束"] }), "\n", _jsxs(_components.ul, { className: "contains-task-list", children: ["\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "所有输入时钟都已正确定义"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "时钟周期设置符合设计要求"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "时钟不确定性已设置（jitter + skew）"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "差分时钟已正确约束"] }), "\n"] }), "\n", _jsxs(_components.h4, { id: "衍生时钟约束", children: [_jsx(_components.a, { className: "heading-link", href: "#衍生时钟约束", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "衍生时钟约束"] }), "\n", _jsxs(_components.ul, { className: "contains-task-list", children: ["\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "PLL/MMCM 输出时钟已定义"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "分频时钟已正确约束"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "时钟选择器输出已约束"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "门控时钟已处理"] }), "\n"] }), "\n", _jsxs(_components.h4, { id: "时钟域关系", children: [_jsx(_components.a, { className: "heading-link", href: "#时钟域关系", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "时钟域关系"] }), "\n", _jsxs(_components.ul, { className: "contains-task-list", children: ["\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "异步时钟域已通过时钟组隔离"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "同步时钟域关系已正确设置"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "虚拟时钟已定义（如需要）"] }), "\n"] }), "\n", _jsxs(_components.h3, { id: "22-输入输出约束检查", children: [_jsx(_components.a, { className: "heading-link", href: "#22-输入输出约束检查", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "2.2 输入/输出约束检查"] }), "\n", _jsxs(_components.h4, { id: "输入约束", children: [_jsx(_components.a, { className: "heading-link", href: "#输入约束", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "输入约束"] }), "\n", _jsxs(_components.ul, { className: "contains-task-list", children: ["\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "所有输入端口都有输入延迟约束"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "输入延迟值符合外部器件规格"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "时钟相关的输入延迟已设置"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "最大/最小延迟都已约束"] }), "\n"] }), "\n", _jsxs(_components.h4, { id: "输出约束", children: [_jsx(_components.a, { className: "heading-link", href: "#输出约束", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "输出约束"] }), "\n", _jsxs(_components.ul, { className: "contains-task-list", children: ["\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "所有输出端口都有输出延迟约束"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "输出延迟值符合外部器件要求"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "负载约束已设置"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "驱动强度已配置"] }), "\n"] }), "\n", _jsxs(_components.h4, { id: "双向信号约束", children: [_jsx(_components.a, { className: "heading-link", href: "#双向信号约束", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "双向信号约束"] }), "\n", _jsxs(_components.ul, { className: "contains-task-list", children: ["\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "双向端口的输入/输出延迟都已设置"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "三态控制信号已正确约束"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "总线争用已避免"] }), "\n"] }), "\n", _jsxs(_components.h3, { id: "23-例外约束检查", children: [_jsx(_components.a, { className: "heading-link", href: "#23-例外约束检查", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "2.3 例外约束检查"] }), "\n", _jsxs(_components.h4, { id: "伪路径约束", children: [_jsx(_components.a, { className: "heading-link", href: "#伪路径约束", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "伪路径约束"] }), "\n", _jsxs(_components.ul, { className: "contains-task-list", children: ["\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "跨异步时钟域路径已设为伪路径"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "静态配置信号已设为伪路径"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "测试/调试路径已设为伪路径"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "互斥路径已正确标识"] }), "\n"] }), "\n", _jsxs(_components.h4, { id: "多周期路径约束", children: [_jsx(_components.a, { className: "heading-link", href: "#多周期路径约束", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "多周期路径约束"] }), "\n", _jsxs(_components.ul, { className: "contains-task-list", children: ["\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "复杂组合逻辑路径已设置多周期"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "周期数设置合理"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "Setup 和 Hold 约束都已设置"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "跨时钟域多周期路径已处理"] }), "\n"] }), "\n", _jsxs(_components.h4, { id: "最大最小延迟约束", children: [_jsx(_components.a, { className: "heading-link", href: "#最大最小延迟约束", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "最大/最小延迟约束"] }), "\n", _jsxs(_components.ul, { className: "contains-task-list", children: ["\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "异步路径已设置延迟约束"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "握手信号延迟已约束"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "关键控制信号延迟已限制"] }), "\n"] }), "\n", _jsxs(_components.h3, { id: "24-物理约束检查", children: [_jsx(_components.a, { className: "heading-link", href: "#24-物理约束检查", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "2.4 物理约束检查"] }), "\n", _jsxs(_components.h4, { id: "引脚约束", children: [_jsx(_components.a, { className: "heading-link", href: "#引脚约束", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "引脚约束"] }), "\n", _jsxs(_components.ul, { className: "contains-task-list", children: ["\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "所有端口都已分配引脚"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "I/O 标准设置正确"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "驱动强度和负载匹配"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "差分对引脚正确配对"] }), "\n"] }), "\n", _jsxs(_components.h4, { id: "区域约束", children: [_jsx(_components.a, { className: "heading-link", href: "#区域约束", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "区域约束"] }), "\n", _jsxs(_components.ul, { className: "contains-task-list", children: ["\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "关键模块已进行区域约束"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "时钟域已合理分布"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "资源利用率平衡"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "关键路径已优化布局"] }), "\n"] }), "\n", _jsx(_components.hr, {}), "\n", _jsxs(_components.h2, { id: "3-常见问题与解决方案", children: [_jsx(_components.a, { className: "heading-link", href: "#3-常见问题与解决方案", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "3. 常见问题与解决方案"] }), "\n", _jsxs(_components.h3, { id: "31-时钟相关问题", children: [_jsx(_components.a, { className: "heading-link", href: "#31-时钟相关问题", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "3.1 时钟相关问题"] }), "\n", _jsxs(_components.h4, { id: "问题1时钟域交叉违规", children: [_jsx(_components.a, { className: "heading-link", href: "#问题1时钟域交叉违规", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "问题1：时钟域交叉违规"] }), "\n", _jsxs(_components.p, { children: [_jsx(_components.strong, { children: "现象" }), "：报告显示跨时钟域路径存在时序违规"] }), "\n", _jsxs(_components.p, { children: [_jsx(_components.strong, { children: "诊断方法" }), "："] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 检查时钟域交互" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: "report_clock_interaction\n" }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 分析跨时钟域路径" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_timing ", _jsx(_components.span, { className: "token operator", children: "-" }), "from ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks clk_a", _jsx(_components.span, { className: "token punctuation", children: "]" }), " ", _jsx(_components.span, { className: "token operator", children: "-" }), "to ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks clk_b", _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] })] }) }), "\n", _jsxs(_components.p, { children: [_jsx(_components.strong, { children: "解决方案" }), "："] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 方案1：设置为伪路径" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["set_false_path ", _jsx(_components.span, { className: "token operator", children: "-" }), "from ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks clk_a", _jsx(_components.span, { className: "token punctuation", children: "]" }), " ", _jsx(_components.span, { className: "token operator", children: "-" }), "to ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks clk_b", _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 方案2：使用时钟组隔离" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["set_clock_groups ", _jsx(_components.span, { className: "token operator", children: "-" }), "asynchronous ", _jsx(_components.span, { className: "token operator", children: "-" }), "group ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks clk_a", _jsx(_components.span, { className: "token punctuation", children: "]" }), " ", _jsx(_components.span, { className: "token operator", children: "-" }), "group ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks clk_b", _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 方案3：添加同步器电路（在 RTL 中实现）" }), "\n"] })] }) }), "\n", _jsxs(_components.h4, { id: "问题2时钟不确定性设置不当", children: [_jsx(_components.a, { className: "heading-link", href: "#问题2时钟不确定性设置不当", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "问题2：时钟不确定性设置不当"] }), "\n", _jsxs(_components.p, { children: [_jsx(_components.strong, { children: "现象" }), "：时序余量过紧或过松"] }), "\n", _jsxs(_components.p, { children: [_jsx(_components.strong, { children: "解决方案" }), "："] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 重新设置时钟不确定性" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["set_clock_uncertainty ", _jsx(_components.span, { className: "token operator", children: "-" }), "setup 0.2 ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks sys_clk", _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["set_clock_uncertainty ", _jsx(_components.span, { className: "token operator", children: "-" }), "hold 0.1 ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks sys_clk", _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 为不同时钟域设置不同的不确定性" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["set_clock_uncertainty ", _jsx(_components.span, { className: "token operator", children: "-" }), "from ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks clk_a", _jsx(_components.span, { className: "token punctuation", children: "]" }), " ", _jsx(_components.span, { className: "token operator", children: "-" }), "to ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks clk_b", _jsx(_components.span, { className: "token punctuation", children: "]" }), " 0.3\n"] })] }) }), "\n", _jsxs(_components.h3, { id: "32-输入输出约束问题", children: [_jsx(_components.a, { className: "heading-link", href: "#32-输入输出约束问题", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "3.2 输入/输出约束问题"] }), "\n", _jsxs(_components.h4, { id: "问题1输入输出延迟设置错误", children: [_jsx(_components.a, { className: "heading-link", href: "#问题1输入输出延迟设置错误", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "问题1：输入/输出延迟设置错误"] }), "\n", _jsxs(_components.p, { children: [_jsx(_components.strong, { children: "现象" }), "：接口信号时序违规"] }), "\n", _jsxs(_components.p, { children: [_jsx(_components.strong, { children: "诊断方法" }), "："] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 检查输入/输出约束" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_timing ", _jsx(_components.span, { className: "token operator", children: "-" }), "from ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_ports data_in", _jsx(_components.span, { className: "token punctuation", children: "[" }), _jsx(_components.span, { className: "token operator", children: "*" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_timing ", _jsx(_components.span, { className: "token operator", children: "-" }), "to ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_ports data_out", _jsx(_components.span, { className: "token punctuation", children: "[" }), _jsx(_components.span, { className: "token operator", children: "*" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] })] }) }), "\n", _jsxs(_components.p, { children: [_jsx(_components.strong, { children: "解决方案" }), "："] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 重新评估外部器件时序参数" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 调整输入延迟约束" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["set_input_delay ", _jsx(_components.span, { className: "token operator", children: "-" }), "clock ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks sys_clk", _jsx(_components.span, { className: "token punctuation", children: "]" }), " ", _jsx(_components.span, { className: "token operator", children: "-" }), "max 3.0 ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_ports data_in", _jsx(_components.span, { className: "token punctuation", children: "[" }), _jsx(_components.span, { className: "token operator", children: "*" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["set_input_delay ", _jsx(_components.span, { className: "token operator", children: "-" }), "clock ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks sys_clk", _jsx(_components.span, { className: "token punctuation", children: "]" }), " ", _jsx(_components.span, { className: "token operator", children: "-" }), "min 1.0 ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_ports data_in", _jsx(_components.span, { className: "token punctuation", children: "[" }), _jsx(_components.span, { className: "token operator", children: "*" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 调整输出延迟约束" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["set_output_delay ", _jsx(_components.span, { className: "token operator", children: "-" }), "clock ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks sys_clk", _jsx(_components.span, { className: "token punctuation", children: "]" }), " ", _jsx(_components.span, { className: "token operator", children: "-" }), "max 2.0 ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_ports data_out", _jsx(_components.span, { className: "token punctuation", children: "[" }), _jsx(_components.span, { className: "token operator", children: "*" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["set_output_delay ", _jsx(_components.span, { className: "token operator", children: "-" }), "clock ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks sys_clk", _jsx(_components.span, { className: "token punctuation", children: "]" }), " ", _jsx(_components.span, { className: "token operator", children: "-" }), "min 0.5 ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_ports data_out", _jsx(_components.span, { className: "token punctuation", children: "[" }), _jsx(_components.span, { className: "token operator", children: "*" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] })] }) }), "\n", _jsxs(_components.h4, { id: "问题2虚拟时钟使用不当", children: [_jsx(_components.a, { className: "heading-link", href: "#问题2虚拟时钟使用不当", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "问题2：虚拟时钟使用不当"] }), "\n", _jsxs(_components.p, { children: [_jsx(_components.strong, { children: "现象" }), "：接口时序分析不准确"] }), "\n", _jsxs(_components.p, { children: [_jsx(_components.strong, { children: "解决方案" }), "："] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 创建与外部器件匹配的虚拟时钟" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["create_clock ", _jsx(_components.span, { className: "token operator", children: "-" }), "period 8.0 ", _jsx(_components.span, { className: "token operator", children: "-" }), "name virt_clk\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 使用虚拟时钟约束接口" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["set_input_delay ", _jsx(_components.span, { className: "token operator", children: "-" }), "clock virt_clk ", _jsx(_components.span, { className: "token operator", children: "-" }), "max 2.0 ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_ports ext_data", _jsx(_components.span, { className: "token punctuation", children: "[" }), _jsx(_components.span, { className: "token operator", children: "*" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["set_output_delay ", _jsx(_components.span, { className: "token operator", children: "-" }), "clock virt_clk ", _jsx(_components.span, { className: "token operator", children: "-" }), "max 1.5 ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_ports ext_ctrl", _jsx(_components.span, { className: "token punctuation", children: "[" }), _jsx(_components.span, { className: "token operator", children: "*" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] })] }) }), "\n", _jsxs(_components.h3, { id: "33-时序收敛问题", children: [_jsx(_components.a, { className: "heading-link", href: "#33-时序收敛问题", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "3.3 时序收敛问题"] }), "\n", _jsxs(_components.h4, { id: "问题1关键路径时序违规", children: [_jsx(_components.a, { className: "heading-link", href: "#问题1关键路径时序违规", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "问题1：关键路径时序违规"] }), "\n", _jsxs(_components.p, { children: [_jsx(_components.strong, { children: "现象" }), "：WNS < 0，存在建立时间违规"] }), "\n", _jsxs(_components.p, { children: [_jsx(_components.strong, { children: "解决方案" }), "："] }), "\n", _jsxs(_components.ol, { children: ["\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "RTL 优化" }), "："] }), "\n"] }), "\n", _jsx(_components.pre, { className: "language-verilog", children: _jsxs(_components.code, { className: "language-verilog code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "// 插入流水线寄存器" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token important", children: "always @" }), _jsx(_components.span, { className: "token punctuation", children: "(" }), _jsx(_components.span, { className: "token keyword", children: "posedge" }), " clk", _jsx(_components.span, { className: "token punctuation", children: ")" }), " ", _jsx(_components.span, { className: "token keyword", children: "begin" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" stage1_reg ", _jsx(_components.span, { className: "token operator", children: "<=" }), " complex_logic_part1", _jsx(_components.span, { className: "token punctuation", children: ";" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" stage2_reg ", _jsx(_components.span, { className: "token operator", children: "<=" }), " stage1_reg ", _jsx(_components.span, { className: "token operator", children: "+" }), " complex_logic_part2", _jsx(_components.span, { className: "token punctuation", children: ";" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" result ", _jsx(_components.span, { className: "token operator", children: "<=" }), " stage2_reg", _jsx(_components.span, { className: "token punctuation", children: ";" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token keyword", children: "end" }), "\n"] })] }) }), "\n", _jsxs(_components.ol, { start: "2", children: ["\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "约束优化" }), "："] }), "\n"] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 设置多周期路径" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["set_multicycle_path 2 ", _jsx(_components.span, { className: "token operator", children: "-" }), "setup ", _jsx(_components.span, { className: "token operator", children: "-" }), "from ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_registers mult_a", _jsx(_components.span, { className: "token punctuation", children: "[" }), _jsx(_components.span, { className: "token operator", children: "*" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), " ", _jsx(_components.span, { className: "token operator", children: "-" }), "to ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_registers mult_result", _jsx(_components.span, { className: "token punctuation", children: "[" }), _jsx(_components.span, { className: "token operator", children: "*" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] })] }) }), "\n", _jsxs(_components.ol, { start: "3", children: ["\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "物理优化" }), "："] }), "\n"] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 使用区域约束" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: "create_pblock pblock_critical\n" }), _jsxs(_components.span, { className: "code-line", children: ["add_cells_to_pblock pblock_critical ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_cells critical_path", _jsx(_components.span, { className: "token operator", children: "/" }), _jsx(_components.span, { className: "token operator", children: "*" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["resize_pblock pblock_critical ", _jsx(_components.span, { className: "token operator", children: "-" }), "add ", _jsx(_components.span, { className: "token punctuation", children: "{" }), "SLICE_X20Y20:SLICE_X40Y40", _jsx(_components.span, { className: "token punctuation", children: "}" }), "\n"] })] }) }), "\n", _jsxs(_components.h4, { id: "问题2保持时间违规", children: [_jsx(_components.a, { className: "heading-link", href: "#问题2保持时间违规", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "问题2：保持时间违规"] }), "\n", _jsxs(_components.p, { children: [_jsx(_components.strong, { children: "现象" }), "：WHS < 0，存在保持时间违规"] }), "\n", _jsxs(_components.p, { children: [_jsx(_components.strong, { children: "解决方案" }), "："] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 添加最小延迟约束" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["set_min_delay 0.5 ", _jsx(_components.span, { className: "token operator", children: "-" }), "from ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_registers reg_a", _jsx(_components.span, { className: "token punctuation", children: "]" }), " ", _jsx(_components.span, { className: "token operator", children: "-" }), "to ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_registers reg_b", _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 调整多周期路径的保持约束" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["set_multicycle_path 1 ", _jsx(_components.span, { className: "token operator", children: "-" }), "hold ", _jsx(_components.span, { className: "token operator", children: "-" }), "from ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_registers mult_a", _jsx(_components.span, { className: "token punctuation", children: "[" }), _jsx(_components.span, { className: "token operator", children: "*" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), " ", _jsx(_components.span, { className: "token operator", children: "-" }), "to ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_registers mult_result", _jsx(_components.span, { className: "token punctuation", children: "[" }), _jsx(_components.span, { className: "token operator", children: "*" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] })] }) }), "\n", _jsxs(_components.h3, { id: "34-约束冲突问题", children: [_jsx(_components.a, { className: "heading-link", href: "#34-约束冲突问题", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "3.4 约束冲突问题"] }), "\n", _jsxs(_components.h4, { id: "问题1约束优先级冲突", children: [_jsx(_components.a, { className: "heading-link", href: "#问题1约束优先级冲突", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "问题1：约束优先级冲突"] }), "\n", _jsxs(_components.p, { children: [_jsx(_components.strong, { children: "现象" }), "：工具报告约束冲突"] }), "\n", _jsxs(_components.p, { children: [_jsx(_components.strong, { children: "解决方案" }), "："] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 检查约束冲突" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["check_timing ", _jsx(_components.span, { className: "token operator", children: "-" }), "verbose\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 设置约束优先级" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["set_property PRIORITY 1 ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_timing_paths ", _jsx(_components.span, { className: "token operator", children: "-" }), "from ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks clk_a", _jsx(_components.span, { className: "token punctuation", children: "]" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] })] }) }), "\n", _jsxs(_components.h4, { id: "问题2过度约束", children: [_jsx(_components.a, { className: "heading-link", href: "#问题2过度约束", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "问题2：过度约束"] }), "\n", _jsxs(_components.p, { children: [_jsx(_components.strong, { children: "现象" }), "：约束过于严格，无法实现"] }), "\n", _jsxs(_components.p, { children: [_jsx(_components.strong, { children: "解决方案" }), "："] }), "\n", _jsxs(_components.ol, { children: ["\n", _jsx(_components.li, { children: "重新评估约束的必要性" }), "\n", _jsx(_components.li, { children: "放宽非关键路径的约束" }), "\n", _jsx(_components.li, { children: "优化设计架构" }), "\n"] }), "\n", _jsx(_components.hr, {}), "\n", _jsxs(_components.h2, { id: "4-调试工具与技巧", children: [_jsx(_components.a, { className: "heading-link", href: "#4-调试工具与技巧", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "4. 调试工具与技巧"] }), "\n", _jsxs(_components.h3, { id: "41-时序分析工具", children: [_jsx(_components.a, { className: "heading-link", href: "#41-时序分析工具", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "4.1 时序分析工具"] }), "\n", _jsxs(_components.h4, { id: "vivado-时序分析器", children: [_jsx(_components.a, { className: "heading-link", href: "#vivado-时序分析器", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "Vivado 时序分析器"] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 启动时序分析器" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: "start_gui\n" }), _jsx(_components.span, { className: "code-line", children: "open_checkpoint post_route.dcp\n" }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 交互式路径分析" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["select_objects ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_timing_paths ", _jsx(_components.span, { className: "token operator", children: "-" }), "max_paths 1 ", _jsx(_components.span, { className: "token operator", children: "-" }), "slack_less_than 0", _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] })] }) }), "\n", _jsxs(_components.h4, { id: "时序路径追踪", children: [_jsx(_components.a, { className: "heading-link", href: "#时序路径追踪", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "时序路径追踪"] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 追踪特定网络" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["highlight_objects ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_nets critical_net", _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 显示路径延迟分解" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_timing ", _jsx(_components.span, { className: "token operator", children: "-" }), "delay_type max ", _jsx(_components.span, { className: "token operator", children: "-" }), "path_type summary\n"] })] }) }), "\n", _jsxs(_components.h3, { id: "42-调试技巧", children: [_jsx(_components.a, { className: "heading-link", href: "#42-调试技巧", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "4.2 调试技巧"] }), "\n", _jsxs(_components.h4, { id: "1-增量调试", children: [_jsx(_components.a, { className: "heading-link", href: "#1-增量调试", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "1. 增量调试"] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 逐步添加约束，观察影响" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token keyword", children: "source" }), " basic_constraints.xdc\n"] }), _jsx(_components.span, { className: "code-line", children: "run_implementation\n" }), _jsx(_components.span, { className: "code-line", children: "report_timing_summary\n" }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token keyword", children: "source" }), " additional_constraints.xdc\n"] }), _jsx(_components.span, { className: "code-line", children: "run_implementation\n" }), _jsx(_components.span, { className: "code-line", children: "report_timing_summary\n" })] }) }), "\n", _jsxs(_components.h4, { id: "2-约束敏感性分析", children: [_jsx(_components.a, { className: "heading-link", href: "#2-约束敏感性分析", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "2. 约束敏感性分析"] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 测试不同约束值的影响" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["set_clock_uncertainty 0.1 ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks sys_clk", _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: "run_implementation\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token keyword", children: "set" }), " ", _jsx(_components.span, { className: "token variable", children: "timing_result_1" }), " ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_property SLACK ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_timing_paths ", _jsx(_components.span, { className: "token operator", children: "-" }), "max_paths 1", _jsx(_components.span, { className: "token punctuation", children: "]" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: ["set_clock_uncertainty 0.2 ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks sys_clk", _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: "run_implementation\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token keyword", children: "set" }), " ", _jsx(_components.span, { className: "token variable", children: "timing_result_2" }), " ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_property SLACK ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_timing_paths ", _jsx(_components.span, { className: "token operator", children: "-" }), "max_paths 1", _jsx(_components.span, { className: "token punctuation", children: "]" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] })] }) }), "\n", _jsxs(_components.h4, { id: "3-关键路径优化", children: [_jsx(_components.a, { className: "heading-link", href: "#3-关键路径优化", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "3. 关键路径优化"] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 识别瓶颈" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_timing ", _jsx(_components.span, { className: "token operator", children: "-" }), "delay_type max ", _jsx(_components.span, { className: "token operator", children: "-" }), "max_paths 1 ", _jsx(_components.span, { className: "token operator", children: "-" }), "path_type summary\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 分析逻辑层数" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_timing ", _jsx(_components.span, { className: "token operator", children: "-" }), "logic_levels 6 ", _jsx(_components.span, { className: "token operator", children: "-" }), "max_paths 20\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 检查高扇出网络" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_high_fanout_nets ", _jsx(_components.span, { className: "token operator", children: "-" }), "max_nets 10\n"] })] }) }), "\n", _jsxs(_components.h3, { id: "43-自动化调试脚本", children: [_jsx(_components.a, { className: "heading-link", href: "#43-自动化调试脚本", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "4.3 自动化调试脚本"] }), "\n", _jsxs(_components.h4, { id: "约束检查脚本", children: [_jsx(_components.a, { className: "heading-link", href: "#约束检查脚本", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "约束检查脚本"] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token builtin", children: "proc" }), " ", _jsx(_components.span, { className: "token function", children: "check_constraints" }), " ", _jsx(_components.span, { className: "token punctuation", children: "{" }), _jsx(_components.span, { className: "token punctuation", children: "}" }), " ", _jsx(_components.span, { className: "token punctuation", children: "{" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token keyword", children: "puts" }), " ", _jsx(_components.span, { className: "token string", children: "\"=== Constraint Check Report ===\"" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: " \n" }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token comment", children: "# 检查未约束的时钟" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token keyword", children: "set" }), " ", _jsx(_components.span, { className: "token variable", children: "unconstrained_clocks" }), " ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_clocks ", _jsx(_components.span, { className: "token operator", children: "-" }), "filter ", _jsx(_components.span, { className: "token punctuation", children: "{" }), "IS_USER_DEFINED ", _jsx(_components.span, { className: "token operator", children: "==" }), " FALSE", _jsx(_components.span, { className: "token punctuation", children: "}" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token builtin", children: "if" }), " ", _jsx(_components.span, { className: "token punctuation", children: "{" }), _jsx(_components.span, { className: "token punctuation", children: "[" }), _jsx(_components.span, { className: "token keyword", children: "llength" }), " $", _jsx(_components.span, { className: "token variable", children: "unconstrained_clocks" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), " ", _jsx(_components.span, { className: "token operator", children: ">" }), " 0", _jsx(_components.span, { className: "token punctuation", children: "}" }), " ", _jsx(_components.span, { className: "token punctuation", children: "{" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token keyword", children: "puts" }), " ", _jsx(_components.span, { className: "token string", children: "\"Warning: Unconstrained clocks found\"" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token punctuation", children: "}" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: " \n" }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token comment", children: "# 检查未约束的端口" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token keyword", children: "set" }), " ", _jsx(_components.span, { className: "token variable", children: "unconstrained_inputs" }), " ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_ports ", _jsx(_components.span, { className: "token operator", children: "-" }), "filter ", _jsx(_components.span, { className: "token punctuation", children: "{" }), "DIRECTION ", _jsx(_components.span, { className: "token operator", children: "==" }), " IN ", _jsx(_components.span, { className: "token operator", children: "&&" }), " INPUT_DELAY ", _jsx(_components.span, { className: "token operator", children: "==" }), " ", _jsx(_components.span, { className: "token string", children: "\"\"" }), _jsx(_components.span, { className: "token punctuation", children: "}" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token keyword", children: "set" }), " ", _jsx(_components.span, { className: "token variable", children: "unconstrained_outputs" }), " ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_ports ", _jsx(_components.span, { className: "token operator", children: "-" }), "filter ", _jsx(_components.span, { className: "token punctuation", children: "{" }), "DIRECTION ", _jsx(_components.span, { className: "token operator", children: "==" }), " OUT ", _jsx(_components.span, { className: "token operator", children: "&&" }), " OUTPUT_DELAY ", _jsx(_components.span, { className: "token operator", children: "==" }), " ", _jsx(_components.span, { className: "token string", children: "\"\"" }), _jsx(_components.span, { className: "token punctuation", children: "}" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: " \n" }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token keyword", children: "puts" }), " ", _jsx(_components.span, { className: "token string", children: "\"Unconstrained input ports: [llength $unconstrained_inputs]\"" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token keyword", children: "puts" }), " ", _jsx(_components.span, { className: "token string", children: "\"Unconstrained output ports: [llength $unconstrained_outputs]\"" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: " \n" }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token comment", children: "# 检查时序违规" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token keyword", children: "set" }), " ", _jsx(_components.span, { className: "token variable", children: "setup_violations" }), " ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_timing_paths ", _jsx(_components.span, { className: "token operator", children: "-" }), "slack_less_than 0 ", _jsx(_components.span, { className: "token operator", children: "-" }), "delay_type max", _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token keyword", children: "set" }), " ", _jsx(_components.span, { className: "token variable", children: "hold_violations" }), " ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_timing_paths ", _jsx(_components.span, { className: "token operator", children: "-" }), "slack_less_than 0 ", _jsx(_components.span, { className: "token operator", children: "-" }), "delay_type min", _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: " \n" }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token keyword", children: "puts" }), " ", _jsx(_components.span, { className: "token string", children: "\"Setup violations: [llength $setup_violations]\"" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token keyword", children: "puts" }), " ", _jsx(_components.span, { className: "token string", children: "\"Hold violations: [llength $hold_violations]\"" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token punctuation", children: "}" }), "\n"] })] }) }), "\n", _jsx(_components.hr, {}), "\n", _jsxs(_components.h2, { id: "5-时序收敛策略", children: [_jsx(_components.a, { className: "heading-link", href: "#5-时序收敛策略", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "5. 时序收敛策略"] }), "\n", _jsxs(_components.h3, { id: "51-分层收敛方法", children: [_jsx(_components.a, { className: "heading-link", href: "#51-分层收敛方法", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "5.1 分层收敛方法"] }), "\n", _jsxs(_components.h4, { id: "1-自顶向下方法", children: [_jsx(_components.a, { className: "heading-link", href: "#1-自顶向下方法", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "1. 自顶向下方法"] }), "\n", _jsx(_components.pre, { children: _jsxs(_components.code, { className: "language-auto code-highlight", children: [_jsx(_components.span, { className: "code-line", children: "1. 顶层时钟约束\n" }), _jsx(_components.span, { className: "code-line", children: "2. 主要接口约束\n" }), _jsx(_components.span, { className: "code-line", children: "3. 模块间约束\n" }), _jsx(_components.span, { className: "code-line", children: "4. 模块内约束\n" }), _jsx(_components.span, { className: "code-line", children: "5. 细节优化\n" })] }) }), "\n", _jsxs(_components.h4, { id: "2-自底向上方法", children: [_jsx(_components.a, { className: "heading-link", href: "#2-自底向上方法", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "2. 自底向上方法"] }), "\n", _jsx(_components.pre, { children: _jsxs(_components.code, { className: "language-auto code-highlight", children: [_jsx(_components.span, { className: "code-line", children: "1. 关键模块约束\n" }), _jsx(_components.span, { className: "code-line", children: "2. 模块间接口\n" }), _jsx(_components.span, { className: "code-line", children: "3. 顶层集成\n" }), _jsx(_components.span, { className: "code-line", children: "4. 全局优化\n" })] }) }), "\n", _jsxs(_components.h3, { id: "52-迭代优化流程", children: [_jsx(_components.a, { className: "heading-link", href: "#52-迭代优化流程", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "5.2 迭代优化流程"] }), "\n", _jsxs(_components.h4, { id: "基本流程", children: [_jsx(_components.a, { className: "heading-link", href: "#基本流程", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "基本流程"] }), "\n", _jsx(_components.mermaid, { config: "{}", chart: "graph TD\n A[初始约束] --> B[综合]\n B --> C[布局布线]\n C --> D[时序分析]\n D --> E{时序收敛?}\n E -->|否| F[分析违规]\n F --> G[优化策略]\n G --> H[更新约束/RTL]\n H --> B\n E -->|是| I[验证完成]" }), "\n", _jsxs(_components.h4, { id: "优化策略选择", children: [_jsx(_components.a, { className: "heading-link", href: "#优化策略选择", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "优化策略选择"] }), "\n", _jsxs(_components.ol, { children: ["\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "约束优化" }), "：调整时序约束"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "RTL 优化" }), "：修改设计代码"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "物理优化" }), "：调整布局布线"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "工具优化" }), "：调整工具设置"] }), "\n"] }), "\n", _jsxs(_components.h3, { id: "53-收敛技巧", children: [_jsx(_components.a, { className: "heading-link", href: "#53-收敛技巧", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "5.3 收敛技巧"] }), "\n", _jsxs(_components.h4, { id: "1-关键路径优先", children: [_jsx(_components.a, { className: "heading-link", href: "#1-关键路径优先", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "1. 关键路径优先"] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 识别最关键的路径" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token keyword", children: "set" }), " ", _jsx(_components.span, { className: "token variable", children: "critical_paths" }), " ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_timing_paths ", _jsx(_components.span, { className: "token operator", children: "-" }), "max_paths 10 ", _jsx(_components.span, { className: "token operator", children: "-" }), "slack_less_than 0", _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 优先解决最差的违规" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token builtin", children: "foreach" }), " path $", _jsx(_components.span, { className: "token variable", children: "critical_paths" }), " ", _jsx(_components.span, { className: "token punctuation", children: "{" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token comment", children: "# 分析并优化每条路径" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token punctuation", children: "}" }), "\n"] })] }) }), "\n", _jsxs(_components.h4, { id: "2-分阶段收敛", children: [_jsx(_components.a, { className: "heading-link", href: "#2-分阶段收敛", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "2. 分阶段收敛"] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 阶段1：解决严重违规（slack < -1ns）" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 阶段2：解决中等违规（-1ns < slack < -0.1ns）" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 阶段3：解决轻微违规（-0.1ns < slack < 0ns）" }), "\n"] })] }) }), "\n", _jsxs(_components.h4, { id: "3-资源与时序平衡", children: [_jsx(_components.a, { className: "heading-link", href: "#3-资源与时序平衡", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "3. 资源与时序平衡"] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsx(_components.li, { children: "在时序和资源使用之间找到平衡点" }), "\n", _jsx(_components.li, { children: "避免过度优化导致资源浪费" }), "\n", _jsx(_components.li, { children: "考虑功耗和面积约束" }), "\n"] }), "\n", _jsx(_components.hr, {}), "\n", _jsxs(_components.h2, { id: "6-验证流程", children: [_jsx(_components.a, { className: "heading-link", href: "#6-验证流程", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "6. 验证流程"] }), "\n", _jsxs(_components.h3, { id: "61-约束验证步骤", children: [_jsx(_components.a, { className: "heading-link", href: "#61-约束验证步骤", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "6.1 约束验证步骤"] }), "\n", _jsxs(_components.h4, { id: "1-语法检查", children: [_jsx(_components.a, { className: "heading-link", href: "#1-语法检查", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "1. 语法检查"] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 检查约束文件语法" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["check_timing ", _jsx(_components.span, { className: "token operator", children: "-" }), "verbose ", _jsx(_components.span, { className: "token operator", children: "-" }), "file timing_check.rpt\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 验证约束覆盖率" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_timing ", _jsx(_components.span, { className: "token operator", children: "-" }), "unconstrained_paths ", _jsx(_components.span, { className: "token operator", children: "-" }), "max_paths 100\n"] })] }) }), "\n", _jsxs(_components.h4, { id: "2-时序验证", children: [_jsx(_components.a, { className: "heading-link", href: "#2-时序验证", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "2. 时序验证"] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 生成完整时序报告" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_timing_summary ", _jsx(_components.span, { className: "token operator", children: "-" }), "delay_type min_max ", _jsx(_components.span, { className: "token operator", children: "-" }), "report_unconstrained\n"] }), _jsx(_components.span, { className: "code-line", children: "\n" }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token comment", children: "# 检查时钟域交互" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: ["report_clock_interaction ", _jsx(_components.span, { className: "token operator", children: "-" }), "delay_type min_max\n"] })] }) }), "\n", _jsxs(_components.h4, { id: "3-功能验证", children: [_jsx(_components.a, { className: "heading-link", href: "#3-功能验证", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "3. 功能验证"] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsx(_components.li, { children: "后仿真验证" }), "\n", _jsx(_components.li, { children: "硬件在环测试" }), "\n", _jsx(_components.li, { children: "边界条件测试" }), "\n"] }), "\n", _jsxs(_components.h3, { id: "62-验证清单", children: [_jsx(_components.a, { className: "heading-link", href: "#62-验证清单", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "6.2 验证清单"] }), "\n", _jsxs(_components.h4, { id: "约束完整性", children: [_jsx(_components.a, { className: "heading-link", href: "#约束完整性", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "约束完整性"] }), "\n", _jsxs(_components.ul, { className: "contains-task-list", children: ["\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "所有时钟都已约束"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "所有 I/O 都已约束"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "跨时钟域路径已处理"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "例外路径已标识"] }), "\n"] }), "\n", _jsxs(_components.h4, { id: "时序正确性", children: [_jsx(_components.a, { className: "heading-link", href: "#时序正确性", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "时序正确性"] }), "\n", _jsxs(_components.ul, { className: "contains-task-list", children: ["\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "WNS ≥ 0"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "TNS = 0"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "WHS ≥ 0"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "THS = 0"] }), "\n"] }), "\n", _jsxs(_components.h4, { id: "功能正确性", children: [_jsx(_components.a, { className: "heading-link", href: "#功能正确性", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "功能正确性"] }), "\n", _jsxs(_components.ul, { className: "contains-task-list", children: ["\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "后仿真通过"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "硬件测试通过"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "边界条件验证"] }), "\n", _jsxs(_components.li, { className: "task-list-item", children: [_jsx(_components.input, { type: "checkbox", disabled: true }), " ", "长时间稳定性测试"] }), "\n"] }), "\n", _jsxs(_components.h3, { id: "63-回归测试", children: [_jsx(_components.a, { className: "heading-link", href: "#63-回归测试", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "6.3 回归测试"] }), "\n", _jsxs(_components.h4, { id: "自动化测试脚本", children: [_jsx(_components.a, { className: "heading-link", href: "#自动化测试脚本", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "自动化测试脚本"] }), "\n", _jsx(_components.pre, { className: "language-tcl", children: _jsxs(_components.code, { className: "language-tcl code-highlight", children: [_jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token builtin", children: "proc" }), " ", _jsx(_components.span, { className: "token function", children: "run_timing_regression" }), " ", _jsx(_components.span, { className: "token punctuation", children: "{" }), _jsx(_components.span, { className: "token punctuation", children: "}" }), " ", _jsx(_components.span, { className: "token punctuation", children: "{" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token comment", children: "# 运行完整的实现流程" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: " run_synthesis\n" }), _jsx(_components.span, { className: "code-line", children: " run_implementation\n" }), _jsx(_components.span, { className: "code-line", children: " \n" }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token comment", children: "# 生成时序报告" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" report_timing_summary ", _jsx(_components.span, { className: "token operator", children: "-" }), "file timing_regression.rpt\n"] }), _jsx(_components.span, { className: "code-line", children: " \n" }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token comment", children: "# 检查时序收敛" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token keyword", children: "set" }), " ", _jsx(_components.span, { className: "token variable", children: "wns" }), " ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_property SLACK ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_timing_paths ", _jsx(_components.span, { className: "token operator", children: "-" }), "delay_type max ", _jsx(_components.span, { className: "token operator", children: "-" }), "max_paths 1", _jsx(_components.span, { className: "token punctuation", children: "]" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token keyword", children: "set" }), " ", _jsx(_components.span, { className: "token variable", children: "whs" }), " ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_property SLACK ", _jsx(_components.span, { className: "token punctuation", children: "[" }), "get_timing_paths ", _jsx(_components.span, { className: "token operator", children: "-" }), "delay_type min ", _jsx(_components.span, { className: "token operator", children: "-" }), "max_paths 1", _jsx(_components.span, { className: "token punctuation", children: "]" }), _jsx(_components.span, { className: "token punctuation", children: "]" }), "\n"] }), _jsx(_components.span, { className: "code-line", children: " \n" }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token builtin", children: "if" }), " ", _jsx(_components.span, { className: "token punctuation", children: "{" }), "$", _jsx(_components.span, { className: "token variable", children: "wns" }), " ", _jsx(_components.span, { className: "token operator", children: ">=" }), " 0 ", _jsx(_components.span, { className: "token operator", children: "&&" }), " $", _jsx(_components.span, { className: "token variable", children: "whs" }), " ", _jsx(_components.span, { className: "token operator", children: ">=" }), " 0", _jsx(_components.span, { className: "token punctuation", children: "}" }), " ", _jsx(_components.span, { className: "token punctuation", children: "{" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token keyword", children: "puts" }), " ", _jsx(_components.span, { className: "token string", children: "\"PASS: Timing constraints met\"" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token builtin", children: "return" }), " 1\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token punctuation", children: "}" }), " ", _jsx(_components.span, { className: "token builtin", children: "else" }), " ", _jsx(_components.span, { className: "token punctuation", children: "{" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token keyword", children: "puts" }), " ", _jsx(_components.span, { className: "token string", children: "\"FAIL: Timing violations detected\"" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token builtin", children: "return" }), " 0\n"] }), _jsxs(_components.span, { className: "code-line", children: [" ", _jsx(_components.span, { className: "token punctuation", children: "}" }), "\n"] }), _jsxs(_components.span, { className: "code-line", children: [_jsx(_components.span, { className: "token punctuation", children: "}" }), "\n"] })] }) }), "\n", _jsx(_components.hr, {}), "\n", _jsxs(_components.h2, { id: "7-最佳实践", children: [_jsx(_components.a, { className: "heading-link", href: "#7-最佳实践", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "7. 最佳实践"] }), "\n", _jsxs(_components.h3, { id: "71-约束编写原则", children: [_jsx(_components.a, { className: "heading-link", href: "#71-约束编写原则", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "7.1 约束编写原则"] }), "\n", _jsxs(_components.ol, { children: ["\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "完整性" }), "：确保所有信号都有适当的约束"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "准确性" }), "：约束值应基于实际硬件规格"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "可维护性" }), "：使用清晰的注释和组织结构"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "可验证性" }), "：约束应该可以通过仿真和测试验证"] }), "\n"] }), "\n", _jsxs(_components.h3, { id: "72-调试策略", children: [_jsx(_components.a, { className: "heading-link", href: "#72-调试策略", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "7.2 调试策略"] }), "\n", _jsxs(_components.ol, { children: ["\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "系统性方法" }), "：按照固定的流程进行调试"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "增量调试" }), "：逐步添加约束，观察影响"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "工具辅助" }), "：充分利用 EDA 工具的分析功能"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "文档记录" }), "：记录调试过程和解决方案"] }), "\n"] }), "\n", _jsxs(_components.h3, { id: "73-团队协作", children: [_jsx(_components.a, { className: "heading-link", href: "#73-团队协作", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "7.3 团队协作"] }), "\n", _jsxs(_components.ol, { children: ["\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "约束规范" }), "：建立团队统一的约束编写规范"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "代码审查" }), "：对约束文件进行同行评审"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "知识共享" }), "：建立约束知识库和最佳实践"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "工具培训" }), "：确保团队成员熟练使用调试工具"] }), "\n"] }), "\n", _jsxs(_components.h3, { id: "74-持续改进", children: [_jsx(_components.a, { className: "heading-link", href: "#74-持续改进", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "7.4 持续改进"] }), "\n", _jsxs(_components.ol, { children: ["\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "性能监控" }), "：持续监控设计的时序性能"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "约束优化" }), "：定期审查和优化约束"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "工具更新" }), "：跟踪 EDA 工具的新功能"] }), "\n", _jsxs(_components.li, { children: [_jsx(_components.strong, { children: "经验总结" }), "：总结项目经验，形成最佳实践"] }), "\n"] }), "\n", _jsx(_components.hr, {}), "\n", _jsxs(_components.h2, { id: "8-参考资料", children: [_jsx(_components.a, { className: "heading-link", href: "#8-参考资料", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "8. 参考资料"] }), "\n", _jsxs(_components.h3, { id: "官方文档", children: [_jsx(_components.a, { className: "heading-link", href: "#官方文档", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "官方文档"] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsx(_components.li, { children: "Xilinx UG903: Using Vivado Design Suite" }), "\n", _jsx(_components.li, { children: "Xilinx UG906: Vivado Design Suite User Guide" }), "\n", _jsx(_components.li, { children: "Intel Quartus Prime Timing Analysis" }), "\n", _jsx(_components.li, { children: "Microsemi Timing Constraints User Guide" }), "\n"] }), "\n", _jsxs(_components.h3, { id: "推荐工具", children: [_jsx(_components.a, { className: "heading-link", href: "#推荐工具", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "推荐工具"] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsx(_components.li, { children: "Vivado Timing Analyzer" }), "\n", _jsx(_components.li, { children: "TimeQuest Timing Analyzer" }), "\n", _jsx(_components.li, { children: "ChipScope/ILA 调试工具" }), "\n", _jsx(_components.li, { children: "第三方时序分析工具" }), "\n"] }), "\n", _jsxs(_components.h3, { id: "学习资源", children: [_jsx(_components.a, { className: "heading-link", href: "#学习资源", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "学习资源"] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsx(_components.li, { children: "《FPGA时序分析与约束》" }), "\n", _jsx(_components.li, { children: "《数字IC时序设计》" }), "\n", _jsx(_components.li, { children: "各厂商官方培训资料" }), "\n", _jsx(_components.li, { children: "在线时序分析课程" }), "\n"] }), "\n", _jsxs(_components.h3, { id: "社区资源", children: [_jsx(_components.a, { className: "heading-link", href: "#社区资源", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "社区资源"] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsx(_components.li, { children: "FPGA 开发者论坛" }), "\n", _jsx(_components.li, { children: "厂商技术支持社区" }), "\n", _jsx(_components.li, { children: "开源约束库和示例" }), "\n", _jsx(_components.li, { children: "技术博客和文章" }), "\n"] })] }); } function MDXContent(props = {}) { const {wrapper: MDXLayout} = { ..._provideComponents(), ...props.components }; return MDXLayout ? _jsx(MDXLayout, { ...props, children: _jsx(_createMdxContent, { ...props }) }) : _createMdxContent(props); } return { default: MDXContent };