1. Home
  2. Siemens EDA Software
  3. IC Tool Portfolio
  4. Questa One
  5. Functional Safety
  6. do-254
Commercial airplane flying above a cityscape, surrounded by clouds and blue sky.

Questa One

DO-254 functional safety

Accelerate certification and cut development costs with the Questa One DO-254 safety solution. Its streamlined approach simplifies compliance, reduces rework and provides the traceability and rigor needed for airborne electronic hardware.

Streamlined DO-254 compliance

The Questa One DO-254 safety solution unifies the compliance workflow by providing a fully integrated, end-to-end platform that addresses the rigorous verification, validation and certification challenges of airborne electronic hardware. Its integration with broader Siemens solutions helps mitigate development costs and streamlines the path from requirements capture to FAA/EASA certification.

Engineer in a safety vest standing beside an airplane in a hangar, using the Questa One DO-254 safety solution.

Explore DO-254 solution areas

Select...

Save time and resources leveraging Questa One VIQ Testplan Author embedded requirements traceability. Real-time linking to requirements stored in common industry requirements management systems such as Polarion ALM and the implementation and verification allows project teams to quickly view traceability arcs and navigate to the evidence fulfilling a requirement.

Man working on a laptop in an office, with a large whiteboard covered in sticky notes and people moving in the background.
Verification planning
all

Questa One Verification IQ Testplan Author

Testplan Author optimizes verification traceability with team-based verification plan creation for plan and requirements-driven processes. Providing traceability from requirements to verification results and design implementation.

A man works in Siemens Polarion on his laptop.
all

Polarion X

Siemens Polarion X provides everything you need to achieve agility and have full control over your cyber-physical systems application lifecycle.

Verification Academy: Dive deep into DO-254

Explore how Questa One DO-254 tailored technologies enhance productivity and are deployed within a DO-254 framework. Learn about challenges, industry best practices and strategies to maximize efficiency through the lifecycle and streamline the audit process.

Discover Related Technologies

Discover underlying Questa One technologies that make a comprehensive DO-254 solution a reality and explore how they can help you complete DO-254 verification objectives.

Close-up view of a microchip mounted on a circuit board.
Functional simulation
all

Questa One Sim

The evolution of functional simulation brings together faster engines, providing a productivity boost that enables faster engineers and delivering cutting-edge technologies that help finish verification using fewer workloads.

Engineer is using Questa Equivalent RTL on her desktop
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

Questa Lint delivers verification automation for designers. Questa Lint produces intent and quality-focused insight at the design stage. Questa Lint’s metrics and quality scores are captured and trended over time to ensure that design stays clean.
STATIC RTL VERIFICATION
all

Questa Lint

Questa Lint provides adaptive, integrated insight to the designer to ensure that the quality requirements and intent are met. Pre-configured methodologies provide immediate, intuitive feedback on design issues.

Questa CDC finds errors using structural analysis to detect clock-domains, synchronizers, and low power structures via the UPF. It then generates assertions and metastability models for protocol and reconvergence verification.
CDC VERIFICATION
all

Questa Clock-Domain Crossing (CDC) Verification

Questa CDC finds errors using structural analysis to detect clock-domains, synchronizers and low power structures via the UPF. It then generates assertions and metastability models for protocol and reconvergence verification.

Questa CDC finds errors using structural analysis to detect clock-domains, synchronizers, and low power structures via the UPF. It then generates assertions and metastability models for protocol and reconvergence verification.
Visualizing complex RTL design​
all

Questa Developer

Questa Developer integrates advanced analysis capabilities, modern creation tools and comprehensive project and flow management to deliver a powerful HDL design environment.

Human hand reaching toward a white robotic finger, about to make contact.
Data-driven verification
all

Verification IQ

Big data is transforming and enabling industries to innovate their products more rapidly and improve many aspects of our lives. Questa One VIQ transforms the verification process using analytics, collaboration and traceability.

Deepen your knowledge of Functional Safety for DO-254

Support Center

Siemens EDA offers world-class customer support for Questa One DO-254 functional safety solutions and products.

Visit Support Center

Verification Academy

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

Verification Academy

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 Blogs