{"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","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":"//images.ctfassets.net/17si5cpawjzf/5XrDZTfawvF6B2roLKxLOd/c31a35d398c1a7d87c1fafd619bf3675/dvt-formal-verification-apps-questa-slec-flow-promo-640x480.jpg?w=640","alt":"image dvt-formal-verification flow diagram","linkData":"{\"name\":\"dvt-formal-verification-apps-questa-slec-flow-promo-640x480\",\"id\":\"5XrDZTfawvF6B2roLKxLOd\",\"contentType\":\"image/jpeg\"}"},"secondaryButton":{"text":"Read White Paper","resource":{"ids":["3reR7fz4DH3YQxIEYy6cKy"],"mode":"selected","query":{"q":"Renesas Solves High-Level Verification Challenges Using Formal Equivalence Checking","sorts":[{"field":"publishedDate","order":"desc"}],"filters":[{"field":"collection","values":["resource"],"operator":"OR"}],"postFilters":[{"field":"resourceType","values":["White Paper"],"operator":"OR"},{"field":"products.id","values":[],"operator":"OR"}],"verboseLocalization":true},"idsQuery":{"size":1,"filters":[{"field":"collection","values":["resource"],"operator":"OR"},{"field":"id","values":["3reR7fz4DH3YQxIEYy6cKy"],"operator":"OR"}],"verboseLocalization":true}},"env":"master"},"phoneIcon":true,"moreInformation":"Get in touch with our sales team 1-800-547-3000"}