RISC-V 工具链

作为seL4基金会的战略合作伙伴以及RISC-V基金会成员,鉴释与基金会一起致力于seL4微内核的开发和优化,为国内系统厂商提供解决方案,以确保基于seL4的操作系统在RISC-V硬件上的安全高效运行。

凭借鉴释的全套开发工具链和解决方案,您可以更快地开发运行基于 seL4 操作系统的高质量产品,节约成本,并加速产品上市时间。

最大化性能

鉴释编译器可帮助您针对 RISC-V 硬件优化代码。它可以通过为 RISC-V 处理器生成最快和最小的代码来显著提高您的开发速度。鉴释编译器具有最好的基准测试分数,并且优于其他 RISC-V 编译器。

借助鉴释性能分析器解决方案,我们可以通过以下方式帮助您找到性能瓶颈:

  • 热点函数和热点执行路径
  • 按任务、函数和源代码行(包括汇编)的处理器执行时间
  • 系统资源分配和竞争导致的性能问题
  • 处理器流水线或访存导致的性能问题

提高生产率

鉴释的集成静态代码分析工具 – 爱科识具有行业标准支持,如 MISRA、AUTOSAR、CERT 以及我们的内置规则,用于强大的执行高质量、安全编码。

我们的 GDB 兼容的调试器解决方案可以帮助快速查明和解决基于 seL4 的操作系统的各个方面的可视化和调试问题,它支持:

  • 内核和用户模式
  • 多线程和多核
  • 共享资源、锁和信号量分析

案例研究

上市SoC企业

该企业为国内上市智能应用处理器SoC、高性能模拟器件和无线互联芯片设计厂商,其业务体系涵盖智能硬件、智慧家居、消费电子、高清媒体、智能视频、汽车电子、工业控制、互联互通、模拟产品等领域。

了解案例详情

驭势 – 无人驾驶

驭势致力于打造面向未来的出行和物流解决方案。通过人工智能AI技术,驭势旨在为人们带来平等、安全的多功能出行体验,以及高效、生态友好的资源运转模式。

了解案例详情

人工智能芯片

该企业是智能驾驶领域的定制解决方案供应商。通过专有的AI处理器和计算平台,可为客户提供外部环境感知,车载多模式交互以及高精度地图建模。

了解案例详情

想进一步了解RISC-V 工具链
如何提高开发性能和效率?

联系我们