white paper

The QA exchange deck in Solido Crosscheck enables an IP qualification handshake

The QA exchange deck in Siemens EDA's Solido Crosscheck describes what is required of an IP to be integrated as-is into an existing SoC design under construction. IP integrators can use this to specify the needs for many IP qualification aspects.

This paper describes how the QA exchange deck in Siemens EDA’s Solido Crosscheck software can be used to capture and exchange IP qualification requirements. It shows how the QA exchange deck can be used as part of the IP validation framework in Solido Crosscheck to provide an IP signoff handshake between IP suppliers and integrators.

Share

Related resources

Easy, Efficient & Exhaustive Verification with Formal
Webinar

Easy, Efficient & Exhaustive Verification with Formal

Formal verification uses mathematical methods and exhaustive algorithms that deliver results by significantly reducing risk by proving implementation

Understanding formal verification methods for use in DO-254 programs
White Paper

Understanding formal verification methods for use in DO-254 programs

This paper takes the mystery out of the use of formal methods for hardware verification and provides recommendations for using formal methods on DO-254 projects.

Formal verification experiences
White Paper

Formal verification experiences

This paper will present a “spiral refinement” bug hunt methodology that captures the success factors and guides the deployment of various formal techniques.