Keysom
Processeurs RISC-V et Accélérateurs, formellement vérifiés grâce à des techniques fondées sur des assistants de preuve.
Chez Keysom, nous pensons que la personnalisation ne doit jamais se faire au détriment de la confiance.
Nous proposons une plateforme unifiée, CoreXplorer, dédiée à la génération de cœurs RISC-V et Accélérateurs avec leur SDK, où la vérification formelle fondée sur des assistants de preuve garantit la conformité par rapport aux spécifications.
Home - Keysom
Accelerate Edge AI & Low-Power with Custom RISC-V. Design custom processor with Keysom CoreXplorer and optimize PPA (Performance/Power/Area) gains. We provide fully optimized HDK and SDKs - drivers, HAL, compilers – ensuring seamless integration for your next-generation ASICs & FPGAs
