Keysom

At Keysom, we believe customization should not come at the cost of trust.

We provide a unified platform, CoreXplorer, for generating RISC-V cores, Accelerators,and SDKs, where proof assistant-based formal verification guarantees correctness against specifications.