CODAx

Simple and Fully Automated Static Linting Solution for SoC Security Verification

About CODAx

Caspia’s security-aware static linting solution, CODAx, analyzes IP/SoC designs to detect bad coding styles against security vulnerabilities. It can automatically identify 120+ insecure RTL coding features and provide suggested corrections to make the design free from potential confidentiality, integrity, and availability issues. CODAx is frequently updated with new security rules, and these are derived from vulnerability databases such as CWE, CVE, and Trust-Hub. By providing numerous automatic checks at the early design stage, CODAx helps to significantly reduce the overall costs for security verification.

Fast security verification at RTL with easy-to-use interface

Applicable to ASIC/FPGA IPs, legacy IPs, and complex SoC designs

Assist in meeting security standards (ISO/SAE 21434, 27001, and more)

Security Bug Detection with Security Rule Check

CODAx utilizes numerous security directives as high-level guidelines for RTL design practices, preventing critical vulnerabilities in SoCs. These directives are refined into specific security rules, the violation of which CODAx detects in the code. Addressing these violations early in the design phase is crucial for mitigating potential security weaknesses. By adhering to these rules, CODAx helps designers proactively identify and mitigate security concerns, significantly reducing the risk of vulnerabilities in the final design, leading to a safer end product.

Features

Datapath Analysis

Control Path Analysis

Root-cause Analysis

Report Generation

Suggested Fixes

Licensing

Tool Assistance

Caspia Technologies enhances your experience with comprehensive training and support for all of our EDA solutions. 

Together, we can solve your security challenges.