Token导航 LogoToken导航

Agent Skill · AI 工具

systemverilog(systemverilog 命令行)

systemverilog 用于处理 GitHub 仓库、Issue、Pull Request 和代码协作信息,适合在 Codex、Claude、Cursor、Gemini CLI 中需要围绕仓库状态、代码变更或协作事项进行整理时使用。可结合来源仓库、安装命令和原始 README 继续核验具体用法。安装前建议确认权限范围、维护状态,以及是否会触发联网、命令执行或文件读写。

systemverilog 是AI 工具类 Agent Skill,可用宿主为 Codex、Claude、Cursor、Gemini CLI,通过GitHub 仓库获取,权限为权限未标注;许可证为 MIT,第三方扫描已通过,按安装量在AI 工具类的 2,536 个 Skill 里排第 249。

总安装 9,443周安装 382GitHub Stars 87下载 2,964核验 2026-05-01

安装说明

本站只整理中文说明,不托管安装包,也不代用户安装。
GitHub
许可证
MIT

安装方式

通过对话安装

复制提示词发给支持本地命令或 Skills 的 AI 助手,先确认命令和权限,再让它执行。

请帮我安装这个 Agent Skill:systemverilog(systemverilog 命令行)
来源仓库:https://github.com/mindrally/skills
仓库路径:skills/systemverilog
安装命令:
npx skills add https://github.com/mindrally/skills --skill systemverilog
安装前请先检查当前环境是否支持对应 CLI,并向我确认将要执行的命令、安装目录、联网范围和文件读写权限;确认后再执行。

命令行安装

复制命令到本机终端执行。不同来源提供的安装方式可能略有差异;本站展示可直接复制的安装命令,安装前请核对来源页面。

skills.shnpx skills
npx skills add https://github.com/mindrally/skills --skill systemverilog

这个 Skill 是做什么的

AI 工具类 Skill 用来扩展助手本身的能力,例如接模型、接检索、接外部服务。

systemverilog 用于处理 GitHub 仓库、Issue、Pull Request 和代码协作信息,适合在 AI 工具中整理项目状态。它能帮助 Agent 围绕代码变更、协作事项和仓库动态进行信息梳理与分析。通过 npx skills add 命令从 GitHub 仓库安装,需参考原始文档了解具体功能边界。

使用前需确认权限、维护状态,避免触发不必要的网络请求或文件系统操作。适用宿主包括 Codex、Claude、Cursor、Gemini CLI,接入前应确认版本、权限和运行环境要求。

来源仓库内路径:skills/systemverilog

上手步骤

4 步
  1. 1

    确认自己的宿主工具

    公开资料标注支持 Codex、Claude、Cursor、Gemini CLI;先确认自己用的是其中之一,再按对应工具的 Skills 目录放置。

  2. 2

    拿到安装命令

    可以直接复制的命令是 npx skills add https://github.com/mindrally/skills --skill systemverilog;命令里的占位符换成自己的路径或密钥再执行。

  3. 3

    安装后重启宿主

    命令执行完要完全退出宿主工具再打开,让新装的 Skill 被重新扫描到,否则列表里可能看不到。

  4. 4

    按最小权限试用

    权限没有明确标注,第一次使用时只给一个无关紧要的任务,观察它到底读了哪些文件和网络。

常见问题

6 条

systemverilog 怎么安装?

在终端执行 npx skills add https://github.com/mindrally/skills --skill systemverilog。装完完全退出宿主工具再打开,让它重新扫描本地 Skill。

systemverilog 支持哪些 AI 工具?

公开资料标注支持 Codex、Claude、Cursor、Gemini CLI。其他工具只要能读取本地 Skill 目录,一般也能手动放进去,但要自己确认触发方式是否一致。

systemverilog 需要什么权限?

权限级别没有明确标注。第一次使用时建议只给无关紧要的任务,观察它实际读写了哪些内容。

systemverilog 是免费的吗?

来源标注的许可证是 MIT。本站不代收任何费用,也不托管安装包;能否商用、要不要署名,以许可证原文为准。

systemverilog 用的人多吗?

公开数据是累计安装 9,443 次,近一周安装 382 次,下载 2,964 次,GitHub 87 星。这些数字来自第三方目录统计,只能当作热度参考,不代表质量或安全性。

systemverilog 安全吗?

第三方扫描结果为通过,但这只覆盖已知的静态检查项,不能替代自己读一遍源码和安装命令。

值得选的地方和要先想清楚的地方

值得选的地方

  • 同时适配 4 种工具,换客户端不用重新找替代品。
  • 3 个目录同时收录,说明这个 Skill 流传比较广。
  • 许可证明确为 MIT,商用和分发边界好判断。
  • 第三方扫描已通过,常见的高风险行为没有命中。

先想清楚的地方

  • 第三方目录整理,版本更新和行为细节以来源仓库为准。

适不适合你

更适合

  • 已经在用 Codex,想直接扩展它能力的人。
  • 需要处理AI 工具类任务、又不想每次都手写提示词的人。
  • 需要许可证清楚、并且有第三方扫描结果的团队项目。

不太适合

  • 需要厂商级技术支持和 SLA 的生产系统。

AI 工具类 Skill 对比

6 个同类
Skill总安装GitHub 星权限许可证扫描
executing-plans

执行计划 · Codex、Claude

1,515,336173,110只读MIT通过
verification-before-completion

完成前的验证 · Codex、Claude

1,319,472173,121权限未标注MIT通过
subagent-driven-development

子 Agent 驱动开发 · Codex、Claude

1,312,416173,138只读MIT通过
copy-editing

复制编辑 · Codex、Claude

1,209,57625,632只读MIT通过
paywall-upgrade-cro

付费专区升级 cro · Codex、Claude

1,030,17625,617只读MIT通过
systemverilog

systemverilog 命令行 · 本页

9,44387权限未标注MIT通过

按安装量取同分类前几名;数字来自第三方目录统计,只作热度参考,不代表质量结论。

SKILL.md 原文

SystemVerilog Development

You are an expert in SystemVerilog for FPGA and ASIC design, verification, and hardware optimization.

Modular Design & Code Organization

  • Structure designs into small, reusable modules to enhance readability and testability
  • Begin with a top-level module and decompose into sub-modules
  • Use clear interface blocks for module connections
  • Maintain consistent coding style and naming conventions

Synchronous Design Principles

  • Prioritize single clock domains for simpler timing analysis
  • Implement proper clock domain crossing (CDC) handling for multi-clock designs
  • Prefer synchronous over asynchronous reset to ensure predictable behavior
  • Avoid combinational loops and latches

Timing Closure & Constraints

  • Establish XDC (Xilinx Design Constraints) files early
  • Review Static Timing Analysis reports regularly
  • Use timing reports to identify critical path bottlenecks
  • Address violations through pipelining or logic optimization
  • Deploy pipelining in high-frequency designs to reduce critical path loads

Resource Utilization & Optimization

  • Write efficient code for LUT/FF/BRAM usage
  • Use reg [] for RAM inference
  • Minimize unnecessary register usage
  • Leverage built-in IP cores (AXI interfaces, DSP blocks, memory controllers)
  • Select appropriate optimization priorities (area vs. speed)

Power Optimization

  • Implement clock gating for dynamic power reduction
  • Enable power-aware synthesis for low-power applications
  • Minimize switching activity in non-critical paths

Verification & Debugging

Testbenches

  • Develop comprehensive testbenches covering typical and edge cases
  • Use assert statements for property checking
  • Implement self-checking testbenches

Simulation

  • Run behavioral and post-synthesis simulations
  • Use Integrated Logic Analyzer (ILA) for real-time debugging
  • Apply assertion-based verification to catch protocol violations

Advanced Techniques

Clock Domain Crossing

  • Apply synchronizers or FIFOs for safe CDC implementation
  • Use proper handshaking protocols
  • Verify CDC paths thoroughly

Interface Optimization

  • Optimize AXI interfaces for high-throughput with proper burst sizing
  • Implement efficient handshaking protocols
  • Balance latency and throughput

Pipelining

  • Implement fine-tuned pipeline stages for performance-critical modules
  • Balance pipeline depth with latency requirements
  • Use retiming for optimization

平台分布

OpenCode

28.98%
按下载量换算859

Claude Code

22.78%
按下载量换算675

Codex

19.21%
按下载量换算569

Antigravity

13.6%
按下载量换算403

Gemini CLI

8.25%
按下载量换算245

Cursor

3.48%
按下载量换算103

安全审计

Gen Agent Trust Hub

通过

Socket

通过

Snyk

通过

权限和风险

权限未标注

当前来源未能明确判断权限范围,默认进入异常复核队列。

安装前确认

本站仅展示第三方公开信息,不托管安装包,不提供自动安装或运行环境。安装前应自行审查源码、依赖和命令行为。

继续浏览同类 Skills