CODAx
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)
Simple and Fully Automated Static Linting Solution for SoC Security Verification
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
ControlPath 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.