嵌入式软件 Skill技能列表
正式验证Skill formal-verification
正式验证技能是一种用于FPGA（现场可编程门阵列）和硬件设计的自动化验证方法。它通过形式化方法（如模型检验和属性验证）对设计进行数学上的穷尽性检查，无需依赖传统的仿真测试。核心功能包括编写系统Verilog断言（SVA）、配置约束、分析反例、执行有界/无界模型检验，并与JasperGold、VC Formal等专业工具集成。该技能能确保硬件设计在功能、安全性和活性方面完全符合规范，尤其适用于验证时钟域交叉（CDC）、复杂控制逻辑和关键安全属性，是提高芯片设计可靠性和缩短验证周期的关键技术。 关键词：FPGA验证，正式验证，模型检验，属性验证，SVA断言，JasperGold，VC Formal，硬件验证，形式化方法，反例分析，约束配置，CDC验证，有界模型检验，RTL验证
Nim内存管理Skill NimMemoryManagement
这个技能是关于Nim编程语言的内存管理，涵盖垃圾收集策略（如Arc/ORC GC）、手动内存控制、析构函数、移动语义、ref/ptr类型、内存安全和优化技术，适用于系统编程、嵌入式应用和性能关键代码开发，关键词包括Nim、内存管理、垃圾收集、移动语义、系统编程、嵌入式优化。
NimC互操作Skill NimCInterop
这个技能专注于Nim编程语言与C代码的互操作性，包括从Nim调用C函数、包装C库、使用importc/exportc编译指示、头文件生成、FFI模式以及构建高性能系统代码。适用于系统编程、库开发和集成现有C代码库。关键词：Nim, C, 互操作, 系统编程, FFI, 库包装, 高性能计算, 嵌入式开发。
LuaC集成技术Skill LuaCIntegration
这个技能涵盖了使用Lua C API实现Lua与C代码的无缝集成，包括栈操作、函数调用、模块创建、用户数据和元表处理，以及性能优化，适用于扩展Lua功能或嵌入Lua到C应用程序中，常用于性能关键应用和脚本引擎开发。关键词：Lua C API、栈操作、C模块、用户数据、元表、性能优化、脚本集成、嵌入式开发。
AXI协议实现与验证技能Skill axi-protocol
本技能专注于在FPGA设计中实现和验证AMBA AXI高性能总线协议，涵盖AXI4、AXI4-Lite和AXI4-Stream接口的设计、优化和验证。关键词：FPGA设计，AMBA AXI协议，总线接口，硬件验证，高性能互连，AXI4，AXI4-Lite，AXI4-Stream，协议检查，VIP验证，嵌入式系统，数字电路设计。
Verilog/SystemVerilogLanguageSkill verilog-sv-language
高级Verilog和SystemVerilog知识，遵循IEEE 1800标准，生成可综合的RTL代码，正确使用编码风格和结构。
合成优化Skill synthesis-optimization
FPGA合成优化技能，专注于Vivado和Quartus工具，包括综合报告分析、属性应用、资源推断控制和结果质量改进。
DO-178C机载软件认证合规技能Skill do-178c-compliance
DO-178C机载软件认证合规技能是专门用于航空航天领域机载软件开发认证的专业工具。该技能支持DO-178C标准全流程合规管理，包括软件等级确定、认证计划制定、需求分析、可追溯性管理、结构覆盖率分析（MC/DC）、工具鉴定等关键环节。适用于航空电子系统、飞行控制软件等安全关键系统的开发认证，确保软件符合适航要求。关键词：DO-178C认证、机载软件、航空航天软件、适航合规、软件安全、结构覆盖率、工具鉴定、可追溯性、航空电子、安全关键系统。
QtCMake项目生成器Skill qt-cmake-project-generator
Qt CMake项目生成器是一款专门用于自动化生成基于CMake的Qt项目配置的工具。它能够快速创建包含正确模块依赖、交叉编译支持和现代化Qt6配置的项目框架，支持多平台构建、包管理器集成和部署脚本生成。关键词：Qt项目生成，CMake配置，交叉编译，Qt6开发，跨平台构建，自动化工具
inkjet热敏打印机工具Skill inkjet
inkjet 是一个用于从MacOS设备连接和控制廉价蓝牙热敏打印机的命令行工具。它支持打印文本、Markdown格式文档、图像和二维码，适用于收据打印、日志输出、儿童教育、物理标签生成等场景。关键词：蓝牙热敏打印机，MacOS打印工具，命令行打印，二维码打印，热敏纸打印，inkjet CLI，BLE打印机控制。
NVIDIA硬件视频编解码集成Skill nvenc-nvdec
NVIDIA硬件视频编解码集成技能，专注于利用NVIDIA GPU的NVENC和NVDEC硬件加速单元进行高效视频处理。该技能提供完整的视频编码解码解决方案，支持H.264、H.265、AV1等多种视频编解码格式，实现GPU加速的视频转码、实时流媒体处理、多路视频并行编码等专业级视频处理功能。通过CUDA集成实现前后处理优化，显著提升视频处理性能，降低CPU负载，适用于视频直播、云游戏、视频监控、媒体转码等高性能视频处理场景。
时钟域交叉分析Skill cdc-analysis
时钟域交叉分析技能是用于FPGA和数字集成电路设计的专业工具，专注于识别和处理多时钟域系统中的亚稳态风险。该技能提供完整的CDC解决方案，包括同步器设计（如2FF/3FF同步器、格雷码FIFO）、握手协议实现、MTBF计算和约束生成，确保跨时钟域信号传输的可靠性。适用于ASIC/FPGA验证、时序收敛和高速数字系统设计。 关键词：时钟域交叉 CDC分析 FPGA设计 同步器 亚稳态 格雷码 FIFO 时序约束 ASIC验证 数字电路