嵌入式软件 Skill技能列表
HLSC/C++转RTL技能Skill hls-cpp-to-rtl
HLS C/C++ 转 RTL 技能是一种用于将高级C/C++算法代码通过高层次综合工具自动转换为硬件描述语言（RTL，如Verilog/VHDL）的专家能力。它专注于FPGA硬件加速开发，涉及代码优化、编译指示应用、接口配置和性能分析，是实现硬件-软件协同设计、IP核生成和嵌入式系统加速的关键技术。关键词：高层次综合，HLS，FPGA加速，C++转RTL，硬件设计，Vitis HLS，接口综合，性能优化。
Verilog/SystemVerilogLanguageSkill verilog-sv-language
高级Verilog和SystemVerilog知识，遵循IEEE 1800标准，生成可综合的RTL代码，正确使用编码风格和结构。
功耗分析Skill power-analysis
功耗分析技能是专注于FPGA（现场可编程门阵列）芯片低功耗设计的专家能力。它通过运行专业工具（如Vivado功耗估算器）进行精确的功耗估算，深入分析静态功耗、动态功耗、I/O功耗及时钟网络功耗等核心组成部分。该技能能够识别设计中的高功耗区域，并应用一系列优化技术，如时钟门控、电压与频率缩放、逻辑优化等，以有效降低整体功耗。它还涵盖从早期估算、仿真活动注释到硬件验证的完整分析流程，并考虑热设计因素，是进行高效、可靠低功耗FPGA设计的关键技术支持。 关键词：FPGA功耗分析，低功耗设计，功耗估算，时钟门控，动态功耗优化，静态功耗，Vivado功耗分析，热设计，开关活动，电源域配置
SQLite数据库专家Skill SQLiteDatabaseExpert
SQLite数据库专家技能专注于为Tauri和桌面应用程序开发安全、高效的SQLite嵌入式数据库，包括SQL注入预防、数据库迁移管理、全文搜索(FTS5)实现和性能优化。关键词：SQLite、数据库、嵌入式、Tauri、安全、迁移、FTS、性能优化、桌面应用。
C内存管理Skill c-memory-management
C内存管理技能用于在C程序中手动管理内存，包括使用malloc、free进行动态内存分配和释放，处理指针操作，避免内存泄露、双重释放、缓冲区溢出等常见内存安全陷阱。适用于系统编程、嵌入式开发、操作系统、性能关键应用等领域。关键词：C语言、内存管理、malloc、free、指针、内存安全、内存泄露、动态内存、嵌入式系统、操作系统开发、系统编程、内存调试。
硬件在环测试自动化Skill hil-test-automation
硬件在环测试自动化技能专注于汽车电子控制单元的验证与测试。它提供从需求到报告的完整测试解决方案，包括测试脚本开发、被控对象模型集成、故障注入、回归测试自动化等核心能力。关键词：硬件在环测试，HIL测试，ECU验证，自动化测试，汽车电子，dSPACE，NI TestStand，故障注入，回归测试，ISO 26262。
GPU内存分析与优化Skill gpu-memory-analysis
GPU内存分析与优化技能是一个专注于GPU高性能计算的工具，用于深度分析CUDA程序的内存访问模式、检测存储体冲突、优化缓存利用率、提升全局内存带宽效率。它通过专业分析工具（如Nsight Compute）识别性能瓶颈，并提供代码级优化建议，如将结构体数组（AoS）转换为数组结构体（SoA）、使用共享内存填充避免冲突、配置L1缓存偏好等，旨在最大化GPU内存层次结构的性能，适用于深度学习训练、科学计算、图形渲染等需要极致GPU性能的场景。关键词：GPU内存优化，CUDA性能分析，存储体冲突检测，缓存优化，内存访问模式，Nsight Compute，高性能计算。
AXI协议实现与验证技能Skill axi-protocol
本技能专注于在FPGA设计中实现和验证AMBA AXI高性能总线协议，涵盖AXI4、AXI4-Lite和AXI4-Stream接口的设计、优化和验证。关键词：FPGA设计，AMBA AXI协议，总线接口，硬件验证，高性能互连，AXI4，AXI4-Lite，AXI4-Stream，协议检查，VIP验证，嵌入式系统，数字电路设计。
C语言数据结构Skill c-data-structures
这个技能专注于在C语言中实现各种基础与高级数据结构，如数组、链表、树和哈希表，并进行手动内存管理。适用于系统编程、嵌入式开发、性能优化和算法实现，关键词包括C语言、数据结构、内存管理、数组、链表、树、哈希表、系统编程、嵌入式开发。
正式验证Skill formal-verification
正式验证技能是一种用于FPGA（现场可编程门阵列）和硬件设计的自动化验证方法。它通过形式化方法（如模型检验和属性验证）对设计进行数学上的穷尽性检查，无需依赖传统的仿真测试。核心功能包括编写系统Verilog断言（SVA）、配置约束、分析反例、执行有界/无界模型检验，并与JasperGold、VC Formal等专业工具集成。该技能能确保硬件设计在功能、安全性和活性方面完全符合规范，尤其适用于验证时钟域交叉（CDC）、复杂控制逻辑和关键安全属性，是提高芯片设计可靠性和缩短验证周期的关键技术。 关键词：FPGA验证，正式验证，模型检验，属性验证，SVA断言，JasperGold，VC Formal，硬件验证，形式化方法，反例分析，约束配置，CDC验证，有界模型检验，RTL验证
LuaC集成技术Skill LuaCIntegration
这个技能涵盖了使用Lua C API实现Lua与C代码的无缝集成，包括栈操作、函数调用、模块创建、用户数据和元表处理，以及性能优化，适用于扩展Lua功能或嵌入Lua到C应用程序中，常用于性能关键应用和脚本引擎开发。关键词：Lua C API、栈操作、C模块、用户数据、元表、性能优化、脚本集成、嵌入式开发。
Zig最佳实践指南Skill zig-best-practices
本指南详细介绍了Zig编程语言的最佳实践，专注于类型优先开发、内存安全、错误处理和编译时验证。主要内容包括：使用标签联合和显式错误集使非法状态不可表示、模块化结构设计、资源管理（defer/errdefer）、编译时泛型与验证、避免anytype、配置加载以及日志记录等高级模式。适用于希望编写安全、高效、可维护Zig代码的开发者，关键词包括：Zig编程、系统编程、内存安全、编译时计算、错误处理、类型系统、最佳实践。