嵌入式软件 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，接口综合，性能优化。
FPGA布局布线优化Skill place-and-route
FPGA布局布线优化技能是专注于现场可编程门阵列物理实现的核心技术。它通过布局规划、物理块约束、布线拥塞分析和时序收敛优化等策略，确保数字电路设计在芯片上实现最优的性能、功耗和面积。该技能涉及使用专业EDA工具（如Vivado、Quartus）进行物理约束定义、增量编译和时序分析，是高性能计算、通信和嵌入式系统开发的关键环节。 关键词：FPGA布局布线，时序收敛，物理实现，布局规划，布线拥塞，物理优化，Vivado，Quartus，硬件描述语言，数字电路设计
SQLite数据库专家Skill SQLiteDatabaseExpert
SQLite数据库专家技能专注于为Tauri和桌面应用程序开发安全、高效的SQLite嵌入式数据库，包括SQL注入预防、数据库迁移管理、全文搜索(FTS5)实现和性能优化。关键词：SQLite、数据库、嵌入式、Tauri、安全、迁移、FTS、性能优化、桌面应用。
C内存管理Skill c-memory-management
C内存管理技能用于在C程序中手动管理内存，包括使用malloc、free进行动态内存分配和释放，处理指针操作，避免内存泄露、双重释放、缓冲区溢出等常见内存安全陷阱。适用于系统编程、嵌入式开发、操作系统、性能关键应用等领域。关键词：C语言、内存管理、malloc、free、指针、内存安全、内存泄露、动态内存、嵌入式系统、操作系统开发、系统编程、内存调试。
C语言数据结构Skill c-data-structures
这个技能专注于在C语言中实现各种基础与高级数据结构，如数组、链表、树和哈希表，并进行手动内存管理。适用于系统编程、嵌入式开发、性能优化和算法实现，关键词包括C语言、数据结构、内存管理、数组、链表、树、哈希表、系统编程、嵌入式开发。
硬件在环测试自动化Skill hil-test-automation
硬件在环测试自动化技能专注于汽车电子控制单元的验证与测试。它提供从需求到报告的完整测试解决方案，包括测试脚本开发、被控对象模型集成、故障注入、回归测试自动化等核心能力。关键词：硬件在环测试，HIL测试，ECU验证，自动化测试，汽车电子，dSPACE，NI TestStand，故障注入，回归测试，ISO 26262。
Verilog/SystemVerilogLanguageSkill verilog-sv-language
高级Verilog和SystemVerilog知识，遵循IEEE 1800标准，生成可综合的RTL代码，正确使用编码风格和结构。
GPU内存分析与优化Skill gpu-memory-analysis
GPU内存分析与优化技能是一个专注于GPU高性能计算的工具，用于深度分析CUDA程序的内存访问模式、检测存储体冲突、优化缓存利用率、提升全局内存带宽效率。它通过专业分析工具（如Nsight Compute）识别性能瓶颈，并提供代码级优化建议，如将结构体数组（AoS）转换为数组结构体（SoA）、使用共享内存填充避免冲突、配置L1缓存偏好等，旨在最大化GPU内存层次结构的性能，适用于深度学习训练、科学计算、图形渲染等需要极致GPU性能的场景。关键词：GPU内存优化，CUDA性能分析，存储体冲突检测，缓存优化，内存访问模式，Nsight Compute，高性能计算。
正式验证Skill formal-verification
正式验证技能是一种用于FPGA（现场可编程门阵列）和硬件设计的自动化验证方法。它通过形式化方法（如模型检验和属性验证）对设计进行数学上的穷尽性检查，无需依赖传统的仿真测试。核心功能包括编写系统Verilog断言（SVA）、配置约束、分析反例、执行有界/无界模型检验，并与JasperGold、VC Formal等专业工具集成。该技能能确保硬件设计在功能、安全性和活性方面完全符合规范，尤其适用于验证时钟域交叉（CDC）、复杂控制逻辑和关键安全属性，是提高芯片设计可靠性和缩短验证周期的关键技术。 关键词：FPGA验证，正式验证，模型检验，属性验证，SVA断言，JasperGold，VC Formal，硬件验证，形式化方法，反例分析，约束配置，CDC验证，有界模型检验，RTL验证
IP核管理技能Skill ip-core-management
IP核管理技能是用于高效配置和集成FPGA设计中供应商预构建IP核的专业能力。它涵盖Xilinx/AMD与Intel/Altera等主流厂商IP的配置、参数化、版本控制、TCL脚本编写及系统集成，确保IP在时钟管理、内存控制、互连等关键模块中正确工作。关键词：FPGA设计，IP核配置，IP集成，TCL脚本，Xilinx IP，Intel IP，硬件描述语言，嵌入式系统。
内存分配器Skill memory-allocator
内存分配器技能专注于实现和管理动态内存分配器，用于优化语言运行时和系统应用中的内存性能。它涉及块分配、堆管理、分配策略（如首次适应、最佳适应）、碎片控制和内存释放。适用于嵌入式系统、游戏引擎、数据库等场景，帮助开发者构建高效、可靠的内存管理系统。关键词：内存分配、动态内存管理、分配策略、碎片控制、系统编程、嵌入式开发、语言运行时优化。
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加速 机器学习加速 深度学习框架