Your browser does not support JavaScript!

Traditional security tools are no longer enough.

Traditional verification methods ensure that security features work as intended. They’re well-suited for formal verification and directed tests and SVA, as they verify expected behavior.

Adding Radix to your existing verification environment gives you the strongest security coverage, with a repeatable process for validating security properties and the absence of unexpected security flaws across the design lifecycle—from block level to full SoC, including software.

Uncover the broadest set of hardware vulnerabilities.

If you’re not verifying security at every stage of the semiconductor design life cycle, you could be missing critical weaknesses. Cycuity’s next-gen technology, Radix, lets you avoid late-stage surprises by systematically detecting known and yet-to-be-discovered security vulnerabilities—including those documented in best-practice standards like MITRE Common Weakness Enumeration (CWE)—ensuring they don’t end up in your final design.

Radix is next-generation hardware security verification.

Collected before or during early stage of chip development
  • Gain comprehensive insight into locations and flows of security assets and architecture of security protection mechanisms
  • Develop and document verifiable security requirements and align all stakeholders on them
  • Develop and tune process for efficient regular security verification
Regularly applied as chip is developed
  • Protect from inadvertent introduction of design mistakes impacting security from block level to full system including software
  • Minimize time and cost of remediating security vulnerabilities thus increasing team productivity
  • Minimize risk of late surprises by late discovery of security issues
Confirmed before tape-out to manufacturing
  • Establish quantitative security checkpoint for formally releasing design for tape-out
  • Provide confirmation of validated security requirements to support traceability and certification
  • Provide verifiable documentation for all security stakeholders and customers

Security Requirements

Collected before or during early stage of chip development

  • Gain comprehensive insight into locations and flows of security assets and architecture of security protection mechanisms
  • Develop and document verifiable security requirements and align all stakeholders on them
  • Develop and tune process for efficient regular security verification

Security Verification

Regularly applied as chip is developed

  • Protect from inadvertent introduction of design mistakes impacting security from block level to full system including software
  • Minimize time and cost of remediating security vulnerabilities thus increasing team productivity
  • Minimize risk of late surprises by late discovery of security issues

Security Signoff

Confirmed before tape-out to manufacturing

  • Establish quantitative security checkpoint for formally releasing design for tape-out
  • Provide confirmation of validated security requirements to support traceability and certification
  • Provide verifiable documentation for all security stakeholders and customers

How Radix is different.

Asset-Based Methodology

Utilizing a uniquely comprehensive security verification methodology centered around security assets, Radix gives you broad, systematic security coverage of both known and previously unknown weaknesses.

Powerful Security Rules

Ultra-compact and straightforward to write, Radix security rules are validated in any existing verification environment. Not only do they enable you to automate rigorous security verification throughout development, they can be reused across the design cycle, and even across multiple design projects.

Automated Asset Tracking

Radix’s patented information flow analysis tracks and traces all security assets independently of their values, as they flow across the chip and through logical and sequential transformations. Offering unique insights into the design’s security behavior, Radix gives you a foundation for powerful security discovery and verification.

Security Assurance from Block to Firmware & Software

Radix combines the power of symbolic analysis with the scalability of simulation/emulation to give you the broadest security assurance by addressing the limitations of functional methods such as formal verification and SVA and UVM based simulation.

Real-Time Analysis Capabilities

Radix provides real-time analysis capabilities that highlight the flow of security assets to understand a design’s security behavior, and identify the root cause of uncovered vulnerabilities. Multiple views give you insight into flow hierarchy, data, and control values, as well as special features for inspecting memories.

Use Cases

As the complexity of chip design grows, so do threats that can undermine customer trust—and your bottom line. See how Cycuity can give your business end-to-end hardware security throughout the product life cycle.

Roots of Trust

Hardware roots of trust have become the foundation of semiconductor security. See how you can build a more secure system with hardware security assurance from Cycuity.

Application Processors

Modern microprocessors are core to the applications that power cars, data centers, and mobile phones. As their performance has grown, so have their vulnerabilities.

System-On-Chips

Fundamental to the security of IoT, automotive, and datacenters is the security of the SoCs that power them. Verify the security of increasingly complex SoCs with Radix.

Microcontrollers

Microcontrollers are responsible for the core functionality of embedded devices in consumer electronics, cars, medical devices and more. Securing their operation is critical for product safety and security.

Automotive Cybersecurity

Modern vehicles depend on an array of electronics, sensors, and computer systems. Confidently maintain your security posture against these expanding attack surfaces with Radix.

CWE

The industry’s formal list of common hardware weaknesses is the Common Weakness Enumeration, a list created and curated by MITRE. For organizations seeking a “secure by design” approach, testing against the CWE list is critical.

Roots of Trust

Hardware roots of trust have become the foundation of semiconductor security. See how you can build a more secure system with hardware security assurance from Cycuity.

Application Processors

Modern microprocessors are core to the applications that power cars, data centers, and mobile phones. As their performance has grown, so have their vulnerabilities.

System-On-Chip

Fundamental to the security of IoT, automotive, and datacenters is the security of the SoCs that power them. Verify the security of increasingly complex SoCs with Radix.

Microcontroller

Microcontrollers are responsible for the core functionality of embedded devices in consumer electronics, cars, medical devices and more. Securing their operation is critical for product safety and security.

Automotive Security

Modern vehicles depend on an array of electronics, sensors, and computer systems. Confidently maintain your security posture against these expanding attack surfaces with Radix.

CWE

The industry’s formal list of common hardware weaknesses is the Common Weakness Enumeration, a list created and curated by MITRE. For organizations seeking a “secure by design” approach, testing against the CWE list is critical.

Mercury is proud to continue our important collaboration with Cycuity, leveraging their Radix security verification technology to deliver the most secure custom integrated circuits to our customers.

Shaun McQuaid

Senior Director of Product Management, Processing Division, Mercury Systems

Level up your hardware security today.

Get the confidence of end-to-end hardware security assurance throughout the product lifecycle. Contact us today to see how.