嵌入式软件 Skill技能列表
线程束原语Skill warp-primitives
线程束原语是一个专门用于GPU高性能计算的技能，专注于线程束级别的编程优化和SIMD并行处理。该技能提供CUDA线程束洗牌指令、投票函数、协作组同步、线程束分化优化等核心功能，帮助开发者实现GPU内核的极致性能优化。关键词：GPU优化，CUDA编程，线程束同步，SIMD并行，高性能计算，NVIDIA，计算加速，并行算法，内存优化，内核性能。
DO-178C机载软件认证合规技能Skill do-178c-compliance
DO-178C机载软件认证合规技能是专门用于航空航天领域机载软件开发认证的专业工具。该技能支持DO-178C标准全流程合规管理，包括软件等级确定、认证计划制定、需求分析、可追溯性管理、结构覆盖率分析（MC/DC）、工具鉴定等关键环节。适用于航空电子系统、飞行控制软件等安全关键系统的开发认证，确保软件符合适航要求。关键词：DO-178C认证、机载软件、航空航天软件、适航合规、软件安全、结构覆盖率、工具鉴定、可追溯性、航空电子、安全关键系统。
HIP-ROCm跨平台GPU开发Skill hip-rocm
HIP-ROCm跨平台GPU开发技能是专门用于AMD GPU高性能计算的工具集，支持将CUDA代码转换为HIP兼容代码，实现NVIDIA和AMD GPU的跨平台开发。该技能涵盖hipify代码转换、ROCm工具链配置、GPU内核开发、性能分析优化等核心功能，适用于机器学习、深度学习、科学计算等GPU加速应用开发。关键词：AMD HIP ROCm GPU开发 跨平台 CUDA转换 高性能计算 并行计算 GPU加速 机器学习加速 深度学习框架
NVIDIA硬件视频编解码集成Skill nvenc-nvdec
NVIDIA硬件视频编解码集成技能，专注于利用NVIDIA GPU的NVENC和NVDEC硬件加速单元进行高效视频处理。该技能提供完整的视频编码解码解决方案，支持H.264、H.265、AV1等多种视频编解码格式，实现GPU加速的视频转码、实时流媒体处理、多路视频并行编码等专业级视频处理功能。通过CUDA集成实现前后处理优化，显著提升视频处理性能，降低CPU负载，适用于视频直播、云游戏、视频监控、媒体转码等高性能视频处理场景。
OpenCL运行时管理器Skill opencl-runtime
OpenCL运行时管理器是一个专用于跨厂商GPU并行计算的开发技能，提供OpenCL平台设备查询、可移植内核代码生成、运行时环境管理、程序编译缓存等功能。支持NVIDIA、AMD、Intel多平台开发，涵盖OpenCL 1.2到3.0规范，适用于高性能计算、机器学习加速、科学计算等GPU并行编程场景。关键词：OpenCL开发，GPU并行计算，跨平台编程，内核代码生成，运行时管理，高性能计算，异构计算，CUDA替代方案。
正式验证Skill formal-verification
正式验证技能是一种用于FPGA（现场可编程门阵列）和硬件设计的自动化验证方法。它通过形式化方法（如模型检验和属性验证）对设计进行数学上的穷尽性检查，无需依赖传统的仿真测试。核心功能包括编写系统Verilog断言（SVA）、配置约束、分析反例、执行有界/无界模型检验，并与JasperGold、VC Formal等专业工具集成。该技能能确保硬件设计在功能、安全性和活性方面完全符合规范，尤其适用于验证时钟域交叉（CDC）、复杂控制逻辑和关键安全属性，是提高芯片设计可靠性和缩短验证周期的关键技术。 关键词：FPGA验证，正式验证，模型检验，属性验证，SVA断言，JasperGold，VC Formal，硬件验证，形式化方法，反例分析，约束配置，CDC验证，有界模型检验，RTL验证
硬件在环测试自动化Skill hil-test-automation
硬件在环测试自动化技能专注于汽车电子控制单元的验证与测试。它提供从需求到报告的完整测试解决方案，包括测试脚本开发、被控对象模型集成、故障注入、回归测试自动化等核心能力。关键词：硬件在环测试，HIL测试，ECU验证，自动化测试，汽车电子，dSPACE，NI TestStand，故障注入，回归测试，ISO 26262。
LuaC集成技术Skill LuaCIntegration
这个技能涵盖了使用Lua C API实现Lua与C代码的无缝集成，包括栈操作、函数调用、模块创建、用户数据和元表处理，以及性能优化，适用于扩展Lua功能或嵌入Lua到C应用程序中，常用于性能关键应用和脚本引擎开发。关键词：Lua C API、栈操作、C模块、用户数据、元表、性能优化、脚本集成、嵌入式开发。
DART模型加载Skill dart-io
此技能提供DART库中的模型加载功能，支持多种机器人模型文件格式（如URDF、SDF、MJCF、SKEL），通过统一的dart::io API进行解析和加载，适用于机器人模拟、游戏开发和嵌入式软件开发中的模型处理。关键词：DART模型加载、URDF解析器、SDF解析器、MJCF解析器、SKEL解析器、机器人模拟、API。
实验室自动化框架PyLabRobotSkill pylabrobot
PyLabRobot是一个硬件无关的纯Python软件开发工具包，专为自动化和自主实验室设计。它提供统一的Python接口，支持控制液体处理机器人、板式阅读器、泵、加热振荡器等多种实验室设备，实现跨平台操作、模拟测试和可视化管理。关键词：实验室自动化、Python SDK、硬件控制、液体处理、资源管理、模拟仿真、跨平台、实验室机器人、数据分析、设备集成。
Nim内存管理Skill NimMemoryManagement
这个技能是关于Nim编程语言的内存管理，涵盖垃圾收集策略（如Arc/ORC GC）、手动内存控制、析构函数、移动语义、ref/ptr类型、内存安全和优化技术，适用于系统编程、嵌入式应用和性能关键代码开发，关键词包括Nim、内存管理、垃圾收集、移动语义、系统编程、嵌入式优化。
Rust所有权系统Skill rust-ownership-system
Rust所有权系统是Rust编程语言的核心内存管理机制，通过编译时检查确保内存安全，无需垃圾回收。它涉及所有权规则、移动语义、借用、生命周期和智能指针等概念，用于编写高效、安全的系统级代码，特别是在嵌入式开发、操作系统和性能关键应用中。关键词：Rust, 所有权, 内存安全, 借用, 生命周期, 编译时检查, 内存管理, 智能指针, 系统编程。