{"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 Formal Assertion","path":""}],"tagline":"Overview","title":"Questa Formal Library","description":"Comprehensive protocol assertions allow Questa Formal users to exhaustively prove design correctness, while support for Veloce Emulation Systems enables users to easily transition to high-performance simulation acceleration for orders-of-magnitude gains in throughput.","pricingCurrency":"US$","image":{"url":"//images.ctfassets.net/17si5cpawjzf/3ynfQPwQc4jWLO91sftQyx/c381245dc704f38763219845b426f5df/dvt-questa-formal-verification-as195008932-promo-640x480.jpg?w=640","alt":"The Questa Formal Assertion Library improves quality and reduces schedule times by building Mentor’s protocol and methodology expertise into packages of reusable assertions that support popular industry-standard interfaces. Because formal verification with Questa PropCheck can start immediately with RTL and assertions only, this frees up engineering resources from having to spend time developing BFMs, verification components, or Verification IPs (VIPs) themselves, enabling them to focus on the unique and high-value aspects of their design.","linkData":"{\"name\":\"The Solution: Questa Formal Assertion Library\",\"id\":\"3ynfQPwQc4jWLO91sftQyx\",\"contentType\":\"image/jpeg\"}"},"secondaryButton":{"text":"Read Fact Sheet","resource":{"ids":["3a9SzbqEqtuSsfmisoDCtW"],"mode":"selected","query":{"q":"Questa-formal-applications","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}},"env":"master"},"phoneIcon":true,"moreInformation":"Get in touch with our sales team 1-800-547-3000 "}