First CHERIoT Silicon
5 hours ago
- SCI Semiconductor 已经生产出首个CHERIoT的硅实现，名为ICENI，超越了之前的软件和FPGA模拟。
- ICENI芯片是一个完整的CHERIoT系统，具有核心CHERI特性（空间内存安全、无指针注入），并扩展了确定性释放后使用保护和中断控制。
- 它使用了CHERIoT Ibex核心，主频高达250 MHz，具有加速时间安全性和改善中断确定性的特性。
- 从CHERIoT SAFE或Sonata移植到ICENI用于生产用途非常简单，软件模拟器应无需更改即可工作。
- 该芯片将在Embedded World、CHERI Blossoms以及剑桥的CHERI十五周年展上展示。