{"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 Post-Silicon Debug","path":""}],"tagline":"Overview","title":"Questa Post-Silicon Debug","description":"The immediate challenge is “observability” when you suspect a certain cluster or IP is the culprit. The ability to setup particular initial test conditions, probes, and constrained-random stimuli to reach the internal areas of the DUT is a real challenge given the SoC is in its fully realized state.","pricingCurrency":"US$","image":{"url":"https://images.sw.cdn.siemens.com/siemens-disw-assets/public/41m5CkZSyq2UZ2kbI2B9In/en-US/formal-verification_questa-post-silicon-debug-flow-640x480.jpg?w=640","alt":"Updated 4.22.21","linkData":"{\"name\":\"formal-verification questa-post-silicon-debug-flow-640x480\",\"id\":\"41m5CkZSyq2UZ2kbI2B9In\",\"contentType\":\"image/jpeg\"}"},"secondaryButton":{"text":"Read Fact Sheet","env":"master","resource":{"ids":["3a9SzbqEqtuSsfmisoDCtW"],"mode":"selected","query":{"q":"Questa Formal Applications Datasheet","sorts":[{"field":"publishedDate","order":"desc"}],"filters":[{"field":"collection","values":["resource"],"operator":"OR"}],"postFilters":[],"verboseLocalization":true},"idsQuery":{"size":1,"filters":[{"field":"collection","values":["resource"],"operator":"OR"},{"field":"id","values":["3a9SzbqEqtuSsfmisoDCtW"],"operator":"OR"}],"verboseLocalization":true}},"locale":"en-US"},"phoneIcon":true,"moreInformation":"Get in touch with our sales team 1-800-547-3000 "}