1. Home
  2. Siemens EDA Software
  3. IC Tool Portfolio
  4. Questa Advanced Verification
  5. OneSpin Formal Verification

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.

2022 Wilson Survey card graphic - 320x180

Wilson Research 2024 Functional Verification Study

The findings from this study provide invaluable insight into the state of today’s IC/ASIC and FPGA markets.

Learn more
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.

FPGA equivalence checking
all

Questa Equivalent FPGA

Questa Equivalent FPGA ensures advanced optimizations needed to meet aggressive power, performance & area goals do not change design functionality, ensuring errors aren’t introduced during synthesis or place & route

Assuring completeness
all

Questa Gap Free

Questa Gap Free verifies assertions are sufficient to cover a design, ensuring no unverified RTL functionality. This automatically detects spec. omissions & errors, holes in the verification plan and unverified RTL functions.

High-level verification
all

Questa HL-SystemC

High-level synthesis is becoming popular, particularly for data-driven designs (automotive, AI, machine learning & 5G). This solution provides exhaustive & automated verification for companies using C++/SystemC.

DVT OneSpin FMEDA - original scale
Safety Verification
all

FMEDA - safety analysis

OneSpin Functional safety analysis is designed to meet the requirements of ISO26262, IEC61508, DO-254 & other standards. FMEDA automates failure mode, effects, & diagnostic analysis flows that requires minimal fault simulation

DVT Verify Trust - original scale
Detecting adversary attacks
all

Questa Verify Trust

The Questa Verify Trust solution automates detection of hardware Trojans and vulnerabilities by leveraging unique under-the-hood technology uncovering security-relevant hardware weaknesses and vulnerabilities in complex IPs & SoCs

DVT Questa Processor - original scale
Ensure IP core implementation
all

Questa Processor

Processor Verification addresses the needs of core providers & integrators, with quick and exhaustive verification of implementation and proof of compliance to instruction set architecture (ISA) with no hardware vulnerabilities.

White Papers

Featured OneSpin resources

Adapt to the future of energy with cloud-native design
E-book

Adapt to the future of energy with cloud-native design

Design complex electrical systems 5x faster with a cloud-native electrical CAD software for SMBs. Learn more.

The advantages of Cloud-Native Electrical Cad for Industrial Applications
Webinar

The advantages of Cloud-Native Electrical Cad for Industrial Applications

The field of electrical computer-aided design (CAD) is undergoing a transformation like never before. Traditional CAD software is making way for a new paradigm – Cloud-Native Electrical CAD.

New cloud-native Capital X Panel Designer electrical design SaaS offering helps small to medium sized businesses
Blog Post

New cloud-native Capital X Panel Designer electrical design SaaS offering helps small to medium sized businesses

Siemens Capital X Panel Designer gives individual electrical designers or small teams an affordable yet powerful electrical design solution Siemens…
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

Learn more

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.

View resources

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.

Read blog

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.

View the latest issue