Features
- Converts high-level code from Python, MATLAB or Julia into low-level code for real hardware
- Combines AI with formal verification to prove generated code is correct
- Analyzes software dependencies and creates an automatic translation and deployment plan
- Targets CPUs, GPUs and FPGAs
- Generates C, C++, Rust, CUDA, VHDL and Verilog
- Optimizes code for performance, memory or power consumption
- Automatically generates tests and checks compliance with safety standards
- Splits large projects into verifiable components
Pricing Details
There are no publicly advertised standard paid plans such as monthly or annual subscriptions. Instead, Code Metal uses a customized pricing system that is determined after communicating with the company, where the needs of the organization and the scope of the project are assessed, and then the cost of using the platform is determined based on factors such as the size of the code to be translated, the type of target hardware, the level of verification required, and the expected time saved in the development process. The service is often offered within enterprise contracts that include platform usage, integration services with existing development environments, and technical support for large industrial projects.