{"showBreadcrumbs":true,"breadcrumbs":[{"title":"Siemens EDA Software","path":"/en-US/"},{"title":"IC Tool Portfolio","path":"/en-US/ic"},{"title":"Advanced Verification","path":"/en-US/ic/questa"},{"title":"Questa Formal Verification","path":"/en-US/ic/questa/formal-verification"},{"title":"Questa SLEC","path":""}],"tagline":"Overview","title":"Questa SLEC","description":"Using the “specification” RTL and the “implementation” RTL as input, the Questa SLEC formal app automatically compares the two code blocks using an exhaustive formal analysis. No knowledge of formal or property specification languages is required.","pricingCurrency":"US$","image":{"url":"https://images.sw.cdn.siemens.com/siemens-disw-assets/public/5XrDZTfawvF6B2roLKxLOd/en-US/formal-verification_questa-slec-flow-640x480.jpg?w=640","alt":"image dvt-formal-verification flow diagram - updated 4.22.21","linkData":"{\"name\":\"dvt-formal-verification-apps-questa-slec-flow-promo-640x480\",\"id\":\"5XrDZTfawvF6B2roLKxLOd\",\"contentType\":\"image/jpeg\"}"},"secondaryButton":{"text":"View Fact Sheet","env":"master","resource":{"ids":["790s38PmK7cJrMiJokzSTZ"],"mode":"selected","query":{"q":"questa","sorts":[{"field":"publishedDate","order":"desc"}],"filters":[{"field":"collection","values":["resource"],"operator":"OR"}],"postFilters":[{"field":"products.id","values":[],"operator":"OR"},{"field":"resourceType","values":["Fact Sheet"],"operator":"OR"}],"verboseLocalization":true},"idsQuery":{"size":1,"filters":[{"field":"collection","values":["resource"],"operator":"OR"},{"field":"id","values":["790s38PmK7cJrMiJokzSTZ"],"operator":"OR"}],"verboseLocalization":true}},"locale":"en-US"},"phoneIcon":true,"moreInformation":"Get in touch with our sales team 1-800-547-3000"}
Overview

Questa SLEC

Using the “specification” RTL and the “implementation” RTL as input, the Questa SLEC formal app automatically compares the two code blocks using an exhaustive formal analysis. No knowledge of formal or property specification languages is required.


Get in touch with our sales team 1-800-547-3000

image dvt-formal-verification flow diagram - updated 4.22.21
Key Features

Questa Sequential Logic Equivalence Check (SLEC)

Today's designs rely on complex industry standard interfaces that must be verified to ensure IP interoperability and system behavior. Whether a given interface is used without modification, or customized to help differentiate the end-product, integrating even mature IP can produce unexpected issues.

{"items":[{"title":"When an Exhaustive Comparison Is Essential","subtitle":" Automated, exhaustive SLEC","background":"pale-blue","description":"<p>The Questa “SLEC” app uses formal analysis to exhaustively compare the “Specification” and “Implementation” RTL, identifying any differences in the output behavior of the two for all input, and all time. No knowledge of formal or property specification languages is required.</p>","image":"https://images.sw.cdn.siemens.com/siemens-disw-assets/public/1HuHW8BcoahdQbmtC1inoo/en-US/dvt-formal-verification-apps-questa-slec-schematic-structural-divergence-feature-640x360.jpg?w=640&q=60","imageAlt":"image dvt-formal-verification schematic ","imageTitle":"image dvt-formal-verification schematic ","rightIcon":"fal fa-long-arrow-right fa-lg"}],"env":"master","locale":"en-US"}

Automated, exhaustive SLEC

When an Exhaustive Comparison Is Essential

<p>The Questa “SLEC” app uses formal analysis to exhaustively compare the “Specification” and “Implementation” RTL, identifying any differences in the output behavior of the two for all input, and all time. No knowledge of formal or property specification languages is required.</p>

image dvt-formal-verification schematic

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&#39;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 Issue

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.