Assuring IC integrity

OneSpin formal verification solutions

OneSpin formal verification solutions address today's critical IC integrity issues. These solutions enable design teams to tackle the toughest next-generation verification challenges and create SoCs that are functionally correct, safe, secure, and trusted.

OneSpin Formal Verification

Unique technology

OneSpin targeted solutions verify that IP and ICs operate as intended even under adverse conditions caused by hardware faults or malicious attacks in the field. Design teams can achieve predictable and complete coverage with unbounded proofs for even the toughest problems.

White Papers

Featured OneSpin Resources

White Paper

360 EC-FPGA retargeting flow

The 360 EC-FPGA retargeting solution allows for system designs residing on obsolete field programmable gate arrays (FPGAs) to be retargeted onto newer technology, extending the life of these designs while also taking advantage of the latest safety, security, and power saving features newer FPGAs provide.

The flow includes two implementation steps.

1) The transformation from the original obsolete input netlist to a netlist targeting the same device technology

2) The actual retargeting step, yielding a final netlist targeting an up-to-date device family 

In addition, 360 EC-FPGA is used to verify functional correctness of the implementation steps.

Ready to talk to someone today?

We're standing by to answer your questions.

Email us

Get in touch with our sales team: 1-800-547-3000 or 1-503-685-8000

Verification Academy

Verification Academy provides the skills necessary to mature an organization's functional verification process capabilities, providing a methodological bridge between high-level value propositions and the low-level details.

Verification Horizons blog

Insight and updates on concepts, values, standards, methodologies, and examples to assist with the understanding of what advanced functional verification technologies can do and how to most effectively apply them.

Verification Horizons

The Verification Horizons publication provides concepts, values, methodologies and examples to assist with the understanding of what advanced functional verification technologies can do and how to most effectively apply them.