@genrtl/grtl 2.3.0 → 2.4.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/index.js +8 -4
- package/package.json +1 -1
package/dist/index.js
CHANGED
|
@@ -378,7 +378,8 @@ Before writing or modifying Verilog/SystemVerilog RTL:
|
|
|
378
378
|
3. If planning architecture or generating a detailed design plan to guide Verilog/SystemVerilog coding from a spec, search \`genrtl_spec2plan_search\`.
|
|
379
379
|
|
|
380
380
|
For diagnostics:
|
|
381
|
-
-
|
|
381
|
+
- After RTL coding -> \`genrtl_lint_load\`; read all returned Lint knowledge card titles, scan the generated/modified RTL for syntax mistakes, lint violations, and CDC risks implied by those titles, then fix obvious issues before compile/synthesis.
|
|
382
|
+
- Lint syntax/CDC diagnostics with actual logs -> \`genrtl_lint_search\`.
|
|
382
383
|
- Vivado synthesis/implementation errors, warnings, or critical warnings -> \`genrtl_compile_search\` with \`filters.tool = "vivado"\`.
|
|
383
384
|
- Quartus synthesis/implementation errors, warnings, or critical warnings -> \`genrtl_compile_search\` with \`filters.tool = "quartus"\`.
|
|
384
385
|
- VCS/QuestaSim compile errors or warnings -> \`genrtl_compile_search\`.
|
|
@@ -413,7 +414,7 @@ alwaysApply: true
|
|
|
413
414
|
var CODEX_CLI_SANDBOX_GUIDANCE = `Run GenRTL CLI requests outside Codex's default sandbox. If a GenRTL CLI command fails with DNS or network errors such as ENOTFOUND, host resolution failures, or fetch failed, rerun it outside the sandbox instead of retrying inside the sandbox.`;
|
|
414
415
|
var MCP_SKILL = `---
|
|
415
416
|
name: genrtl-mcp
|
|
416
|
-
description: Use this skill for Verilog/SystemVerilog/RTL engineering tasks, including specs, detailed design plans for Verilog coding, RTL generation, coding style, testbench/SVA verification,
|
|
417
|
+
description: Use this skill for Verilog/SystemVerilog/RTL engineering tasks, including specs, detailed design plans for Verilog coding, RTL generation, coding style, testbench/SVA verification, Lint syntax/CDC diagnostics, Vivado/Quartus synthesis or implementation errors/warnings/critical warnings, VCS/QuestaSim compile errors/warnings, simulation failures, waveform/debug work, and reusable CBB discovery. Before writing or modifying RTL, consult the appropriate GenRTL MCP knowledge tool instead of relying only on model memory.
|
|
417
418
|
---
|
|
418
419
|
|
|
419
420
|
# GenRTL MCP RTL Knowledge Workflow
|
|
@@ -426,7 +427,9 @@ Use GenRTL MCP tools before relying on model memory for RTL engineering.
|
|
|
426
427
|
- \`genrtl_spec2rtl_search\` for spec-to-RTL implementation, protocol logic, control logic, datapath, algorithm acceleration, or interface implementation.
|
|
427
428
|
- \`genrtl_coding_style_search\` before writing or modifying Verilog/SystemVerilog RTL; read all returned coding style rules and treat them as project-wide coding context.
|
|
428
429
|
- \`genrtl_verification_search\` for testbench, SVA, assertions, stimulus, checkers, scoreboards, coverage, and verification strategy.
|
|
429
|
-
- \`
|
|
430
|
+
- \`genrtl_lint_load\` after coding; read all returned Lint knowledge card titles, scan the generated/modified RTL for syntax mistakes, lint violations, and CDC risks implied by those titles, then fix obvious issues before compile/synthesis.
|
|
431
|
+
- \`genrtl_lint_search\` for actual Lint syntax/CDC diagnostic logs.
|
|
432
|
+
- \`genrtl_compile_search\` for Vivado/Quartus/VCS/QuestaSim diagnostics, including errors, warnings, and critical warnings.
|
|
430
433
|
- \`genrtl_debug_search\` for functional RTL bugs, waveform mismatch, failing simulations, failing testcases, or incorrect behavior.
|
|
431
434
|
- \`genrtl_cbb_list\` before producing an RTL architecture, implementation strategy, or design plan without RTL code, so existing reusable CBB names are considered first.
|
|
432
435
|
- \`genrtl_cbb_search\`, then \`genrtl_cbb_detail\`, for reusable IP/CBB discovery.
|
|
@@ -436,7 +439,8 @@ Use GenRTL MCP tools before relying on model memory for RTL engineering.
|
|
|
436
439
|
- Do not call \`genrtl_knowledge_search\` first when the task clearly matches a specialized tool.
|
|
437
440
|
- If \`genrtl_knowledge_search\` returns no useful result, retry one specialized tool before answering from model memory.
|
|
438
441
|
- Before coding, call \`genrtl_coding_style_search\`, read the full returned style guide, and apply every relevant rule consistently across the generated RTL.
|
|
439
|
-
-
|
|
442
|
+
- After coding, call \`genrtl_lint_load\`, read all returned Lint knowledge card titles, scan the generated/modified RTL for syntax mistakes, lint violations, and CDC risks implied by those titles, then fix obvious issues before compile/synthesis.
|
|
443
|
+
- For Lint syntax/CDC logs with actual diagnostics, call \`genrtl_lint_search\`.
|
|
440
444
|
- For Vivado/Quartus synthesis or implementation errors, warnings, and critical warnings, call \`genrtl_compile_search\` with the matching \`filters.tool\`.
|
|
441
445
|
- For VCS/QuestaSim compile errors or warnings, call \`genrtl_compile_search\` with the matching \`filters.tool\` when known.
|
|
442
446
|
- Apply returned \`code_example\`, \`fix_strategy\`, and \`recommended_next_action\` to the implementation.
|