Mentor Graphics Expands Formal Verification's Reach with New Cross-Platform GUI and Apps for Sequential Logic Equivalence Checking and CDC Gate-Level Analysis
Poster: SySAdmin
Posted on April 20, 2017 at 8:56:01 AM
<HTML>
<HEAD>
<META http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
<style type="text/css">
.xn-newslines .xn-distributor{
display:none;
}
.xn-newslines .xn-dateline{
display:none;
}
/* /\/\/\/\/\/\/\/\/ CLIENT-SPECIFIC STYLES /\/\/\/\/\/\/\/\/ */
#outlook a{padding: 0;} /* Force Outlook to provide a "view in browser" message */
.ReadMsgBody{width: 100%;} .ExternalClass{width: 100%;} /* Force Hotmail to display emails at full width */
.ExternalClass, .ExternalClass p, .ExternalClass span, .ExternalClass font, .ExternalClass td, .ExternalClass div {line-height: 100%;} /* Force Hotmail to display normal line spacing */
body, table, td, p, a, li, blockquote{-webkit-text-size-adjust: 100%; -ms-text-size-adjust: 100%;} /* Prevent WebKit and Windows mobile changing default text sizes */
table, td{mso-table-lspace: 0pt; mso-table-rspace: 0pt;} /* Remove spacing between tables in Outlook 2007 and up */
img{-ms-interpolation-mode: bicubic;} /* Allow smoother rendering of resized image in Internet Explorer */
/* /\/\/\/\/\/\/\/\/ RESET STYLES /\/\/\/\/\/\/\/\/ */
body{margin: 0; padding: 0;}
img{border: 0; height: auto; line-height: 100%; outline: none; text-decoration: none;}
table{border-collapse: collapse !important;}
body, #bodyTable, #bodyCell{height: 100% !important; margin: 0; padding: 0; width: 100% !important;}
/* /\/\/\/\/\/\/\/\/ TEMPLATE STYLES /\/\/\/\/\/\/\/\/ */
/* ========== Page Styles ========== */
#bodyCell{padding: 20px;}
#templateContainer{
width: 600px;
background-color: #ffffff;
}
/**
* @tip Set the background color and top border for your email. You may want to choose colors that match your company's branding.
* @theme page
*/
body, #bodyTable{
background-color: #DEE0E2;
}
/**
* @tip Set the background color and top border for your email. You may want to choose colors that match your company's branding.
* @theme page
*/
#bodyCell{
border-top: 4px solid #BBBBBB;
}
/**
* @tip Set the border for your email.
*/
#templateContainer{
border: 1px solid #BBBBBB;
}
/**
* @tip Set the styling for all first-level headings in your emails. These should be the largest of your headings.
* @style heading 1
*/
h1{
color: #404040 !important;
display: block;
font-family: Helvetica;
font-size: 26px;
font-style: normal;
font-weight: bold;
line-height: 100%;
letter-spacing: normal;
margin-top: 0;
margin-right: 0;
margin-bottom: 10px;
margin-left: 0;
text-align: left;
}
/**
* @tip Set the styling for all second-level headings in your emails.
* @style heading 2
*/
h2{
color: #404040 !important;
display: block;
font-family: Helvetica;
font-size: 20px;
font-style: normal;
font-weight: bold;
line-height: 100%;
letter-spacing: normal;
margin-top: 0;
margin-right: 0;
margin-bottom: 10px;
margin-left: 0;
text-align: left;
}
/**
* @tip Set the styling for all third-level headings in your emails.
* @style heading 3
*/
h3{
color: #3d98c6 !important;
display: block;
font-family: Helvetica;
font-size: 16px;
font-weight: normal;
line-height: 100%;
letter-spacing: normal;
margin-top: 0;
margin-right: 0;
margin-bottom: 10px;
margin-left: 0;
text-align: left;
}
/**
* @tip Set the styling for all fourth-level headings in your emails. These should be the smallest of your headings.
* @style heading 4
*/
h4{
color: #808080 !important;
display: block;
font-family: Helvetica;
font-size: 14px;
font-weight: normal;
line-height: 100%;
letter-spacing: normal;
margin-top: 0;
margin-right: 0;
margin-bottom: 10px;
margin-left: 0;
text-align: left;
}
h4.subtitle {
color: #808080 !important;
font-size: 14px;
}
/* ========== Header Styles ========== */
/**
* @tip Set the background color and bottom border for your email's preheader area.
* @theme header
*/
#templatePreheader{
background-color: #F4F4F4;
border-bottom: 1px solid #CCCCCC;
}
/**
* @tip Set the styling for your email's preheader text. Choose a size and color that is easy to read.
*/
.preheaderContent{
color: #808080;
font-family: Helvetica;
font-size: 10px;
line-height: 125%;
text-align: left;
}
/**
* @tip Set the styling for your email's preheader links. Choose a color that helps them stand out from your text.
*/
.preheaderContent a:link, .preheaderContent a:visited, /* Yahoo! Mail Override */ .preheaderContent a .yshortcuts /* Yahoo! Mail Override */{
color: #606060;
font-weight: normal;
text-decoration: underline;
}
/**
* @tip Set the background color and borders for your email's header area.
* @theme header
*/
#templateHeader{
background-color: #F4F4F4;
border-top: 1px solid #FFFFFF;
border-bottom: 1px solid #CCCCCC;
}
/**
* @tip Set the styling for your email's header text. Choose a size and color that is easy to read.
*/
.headerContent{
color: #505050;
font-family: Helvetica;
font-size: 20px;
font-weight: bold;
line-height: 100%;
padding-top: 0;
padding-right: 0;
padding-bottom: 0;
padding-left: 0;
text-align: left;
vertical-align: middle;
}
/**
* @tip Set the styling for your email's header links. Choose a color that helps them stand out from your text.
*/
.headerContent a:link, .headerContent a:visited, /* Yahoo! Mail Override */ .headerContent a .yshortcuts /* Yahoo! Mail Override */{
color: #3d98c6;
font-weight: normal;
text-decoration: underline;
}
#headerImage{
height: auto;
max-width: 600px;
}
#socialShare img {
margin-right: 3px;
}
/* ========== Body Styles ========== */
/**
* @tip Set the background color and borders for your email's body area.
*/
#templateBody{
background-color: #FFFFFF;
border-top: 1px solid #FFFFFF;
/*border-bottom: 1px solid #CCCCCC;*/
}
/**
* @tip Set the styling for your email's main content text. Choose a size and color that is easy to read.
* @theme main
*/
.bodyContent{
color: #505050;
font-family: Helvetica;
font-size: 16px;
line-height: 150%;
padding-top: 20px;
padding-right: 20px;
padding-bottom: 20px;
padding-left: 20px;
text-align: left;
}
/**
* @tip Set the styling for your email's main content links. Choose a color that helps them stand out from your text.
*/
.bodyContent a:link, .bodyContent a:visited, /* Yahoo! Mail Override */ .bodyContent a .yshortcuts /* Yahoo! Mail Override */{
color: #3d98c6;
font-weight: normal;
text-decoration: underline;
}
.bodyContent img{
display: inline;
height: auto;
max-width: 560px;
}
/**
* @tip Set the background color and border for your email's data table.
*/
.templateDataTable{
background-color: #FFFFFF;
}
.templateDataTable a:link {
text-decoration: none;
color: #3d98c6;
}
/**
* @tip Set the styling for your email's data table text. Choose a size and color that is easy to read.
*/
.dataTableHeading{
/*background-color: #E7F1FC;*/
color: #336699;
font-family: Helvetica;
font-size: 14px;
font-weight: bold;
line-height: 150%;
text-align: left;
}
/**
* @tip Set the styling for your email's data table links. Choose a color that helps them stand out from your text.
*/
.dataTableHeading a:link, .dataTableHeading a:visited, /* Yahoo! Mail Override */ .dataTableHeading a .yshortcuts /* Yahoo! Mail Override */{
color: #FFFFFF;
font-weight: bold;
}
/**
* @tip Set the styling for your email's data table text. Choose a size and color that is easy to read.
*/
.dataTableContent{
border-top: 1px solid #DDDDDD;
border-bottom: 0;
color: #404040;
font-family: Helvetica;
font-size: 12px;
line-height: 150%;
text-align: left;
}
/**
* @tip Set the styling for your email's data table links. Choose a color that helps them stand out from your text.
*/
.dataTableContent a:link, .dataTableContent a:visited, /* Yahoo! Mail Override */ .dataTableContent a .yshortcuts /* Yahoo! Mail Override */{
color: #3d98c6;
font-weight: bold;
}
/* ========== Column Styles ========== */
.templateColumnContainer{width: 200px;}
/**
* @tip Set the background color and borders for your email's column area.
*/
#templateColumns{
background-color: #F4F4F4;
border-top: 1px solid #FFFFFF;
border-bottom: 1px solid #CCCCCC;
}
/**
* @tip Set the styling for your email's left column content text. Choose a size and color that is easy to read.
*/
.leftColumnContent{
color: #505050;
font-family: Helvetica;
font-size: 14px;
line-height: 150%;
padding-top: 0;
padding-right: 20px;
padding-bottom: 20px;
padding-left: 20px;
text-align: left;
}
/**
* @tip Set the styling for your email's left column content links. Choose a color that helps them stand out from your text.
*/
.leftColumnContent a:link, .leftColumnContent a:visited, /* Yahoo! Mail Override */ .leftColumnContent a .yshortcuts /* Yahoo! Mail Override */{
color: #3d98c6;
font-weight: normal;
text-decoration: underline;
}
/**
* @tip Set the styling for your email's center column content text. Choose a size and color that is easy to read.
*/
.centerColumnContent{
color: #505050;
font-family: Helvetica;
font-size: 14px;
line-height: 150%;
padding-top: 0;
padding-right: 20px;
padding-bottom: 20px;
padding-left: 20px;
text-align: left;
}
/**
* @tip Set the styling for your email's center column content links. Choose a color that helps them stand out from your text.
*/
.centerColumnContent a:link, .centerColumnContent a:visited, /* Yahoo! Mail Override */ .centerColumnContent a .yshortcuts /* Yahoo! Mail Override */{
color: #3d98c6;
font-weight: normal;
text-decoration: underline;
}
/**
* @tip Set the styling for your email's right column content text. Choose a size and color that is easy to read.
*/
.rightColumnContent{
color: #505050;
font-family: Helvetica;
font-size: 14px;
line-height: 150%;
padding-top: 0;
padding-right: 20px;
padding-bottom: 20px;
padding-left: 20px;
text-align: left;
}
/**
* @tip Set the styling for your email's right column content links. Choose a color that helps them stand out from your text.
*/
.rightColumnContent a:link, .rightColumnContent a:visited, /* Yahoo! Mail Override */ .rightColumnContent a .yshortcuts /* Yahoo! Mail Override */{
color: #3d98c6;
font-weight: normal;
text-decoration: underline;
}
.leftColumnContent img, .rightColumnContent img{
display: inline;
height: auto;
max-width: 260px;
}
/* ========== Footer Styles ========== */
/**
* @tip Set the background color and borders for your email's footer area.
* @theme footer
*/
#templateFooter{
background-color: #F4F4F4;
border-top: 1px solid #FFFFFF;
}
/**
* @tip Set the styling for your email's footer text. Choose a size and color that is easy to read.
* @theme footer
*/
.footerContent{
color: #808080;
font-family: Helvetica;
font-size: 10px;
line-height: 150%;
padding-top: 20px;
padding-right: 20px;
padding-bottom: 20px;
padding-left: 20px;
text-align: left;
}
.footerContent.social, .footerContent.social h4 {
text-align: center;
}
.footerContent.social a {
margin: 0 10px;
}
/**
* @tip Set the styling for your email's footer links. Choose a color that helps them stand out from your text.
*/
.footerContent a:link, .footerContent a:visited, /* Yahoo! Mail Override */ .footerContent a .yshortcuts, .footerContent a span /* Yahoo! Mail Override */{
color: #606060;
font-weight: normal;
text-decoration: underline;
}
/* /\/\/\/\/\/\/\/\/ MOBILE STYLES /\/\/\/\/\/\/\/\/ */
@media only screen and (max-width: 480px){
/* /\/\/\/\/\/\/ CLIENT-SPECIFIC MOBILE STYLES /\/\/\/\/\/\/ */
body, table, td, p, a, li, blockquote{-webkit-text-size-adjust: none !important;} /* Prevent Webkit platforms from changing default text sizes */
body{width: 100% !important; min-width: 100% !important;} /* Prevent iOS Mail from adding padding to the body */
/* /\/\/\/\/\/\/ MOBILE RESET STYLES /\/\/\/\/\/\/ */
#bodyCell{padding: 10px !important;}
/* /\/\/\/\/\/\/ MOBILE TEMPLATE STYLES /\/\/\/\/\/\/ */
/* ======== Page Styles ======== */
/**
* @tip Make the template fluid for portrait or landscape view adaptability. If a fluid layout doesn't work for you, set the width to 300px instead.
*/
#templateContainer{
max-width: 600px !important;
width: 100% !important;
}
/**
* @tip Make the first-level headings larger in size for better readability on small screens.
*/
h1{
font-size: 24px !important;
line-height: 100% !important;
}
/**
* @tip Make the second-level headings larger in size for better readability on small screens.
*/
h2{
font-size: 20px !important;
line-height: 100% !important;
}
/**
* @tip Make the third-level headings larger in size for better readability on small screens.
*/
h3{
font-size: 18px !important;
line-height: 100% !important;
}
/**
* @tip Make the fourth-level headings larger in size for better readability on small screens.
*/
h4{
font-size: 16px !important;
line-height: 100% !important;
}
/* ======== Header Styles ======== */
#templatePreheader{display: none !important;} /* Hide the template preheader to save space */
/**
* @tip Make the main header image fluid for portrait or landscape view adaptability, and set the image's original width as the max-width. If a fluid setting doesn't work, set the image width to half its original size instead.
*/
#headerImage{
height: auto !important;
max-width: 600px !important;
width: 100% !important;
}
/**
* @tip Make the header content text larger in size for better readability on small screens. We recommend a font size of at least 16px.
*/
.headerContent{
font-size: 20px !important;
line-height: 125% !important;
}
/* ======== Body Styles ======== */
/**
* @tip Make the body content text larger in size for better readability on small screens. We recommend a font size of at least 16px.
*/
.bodyContent{
font-size: 18px !important;
line-height: 125% !important;
}
.templateDataTableContainer {
background-color: #ffffff;
}
/**
* @tip Set the background color and border for your email's data table.
*/
.templateDataTable{
background-color: #FFFFFF;
border: 1px solid #DDDDDD;
}
/**
* @tip Set the styling for your email's data table text. Choose a size and color that is easy to read.
*/
.dataTableHeading{
background-color: #D8E2EA;
color: #336699;
font-family: Helvetica;
font-size: 14px;
font-weight: bold;
line-height: 150%;
text-align: left;
}
/**
* @tip Set the styling for your email's data table links. Choose a color that helps them stand out from your text.
*/
.dataTableHeading a:link, .dataTableHeading a:visited, /* Yahoo! Mail Override */ .dataTableHeading a .yshortcuts /* Yahoo! Mail Override */{
color: #3d98c6;
font-weight: bold;
}
/**
* @tip Set the styling for your email's data table text. Choose a size and color that is easy to read.
*/
.dataTableContent{
border-top: 1px solid #DDDDDD;
border-bottom: 0;
color: #202020;
font-family: Helvetica;
font-size: 12px;
font-weight: bold;
line-height: 150%;
text-align: left;
}
/**
* @tip Set the styling for your email's data table links. Choose a color that helps them stand out from your text.
*/
.dataTableContent a:link, .dataTableContent a:visited, /* Yahoo! Mail Override */ .dataTableContent a .yshortcuts /* Yahoo! Mail Override */{
color: #3d98c6;
font-weight: bold;
}
/* ======== Column Styles ======== */
.templateColumnContainer{display: block !important; width: 100% !important;}
/**
* @tip Make the column image fluid for portrait or landscape view adaptability, and set the image's original width as the max-width. If a fluid setting doesn't work, set the image width to half its original size instead.
*/
.columnImage{
height: auto !important;
max-width: 480px !important;
width: 100% !important;
}
/**
* @tip Make the left column content text larger in size for better readability on small screens. We recommend a font size of at least 16px.
*/
.leftColumnContent{
font-size: 16px !important;
line-height: 125% !important;
}
/**
* @tip Make the center column content text larger in size for better readability on small screens. We recommend a font size of at least 16px.
*/
.centerColumnContent{
font-size: 16px !important;
line-height: 125% !important;
}
/**
* @tip Make the right column content text larger in size for better readability on small screens. We recommend a font size of at least 16px.
*/
.rightColumnContent{
font-size: 16px !important;
line-height: 125% !important;
}
/* ======== Footer Styles ======== */
/**
* @tip Make the body content text larger in size for better readability on small screens.
*/
.footerContent{
font-size: 14px !important;
line-height: 115% !important;
}
.footerContent a {
display:block !important;
} /* Place footer social and utility links on their own lines, for easier access */
.footerContent.social a {
display: inline-block !important;
}
}
</style>
</HEAD>
<body leftmargin="0" marginheight="0" marginwidth="0" offset="0" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;margin: 0;padding: 0;background-color: #DEE0E2;height: 100% !important;width: 100% !important;" topmargin="0">
<center>
<table align="center" border="0" cellpadding="0" cellspacing="0" height="100%" id="bodyTable" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;margin: 0;padding: 0;background-color: #DEE0E2;border-collapse: collapse !important;height: 100% !important;width: 100% !important;" width="100%">
<tr>
<td align="center" id="bodyCell" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;margin: 0;padding: 20px;border-top: 4px solid #BBBBBB;height: 100% !important;width: 100% !important;" valign="top">
<table border="0" cellpadding="0" cellspacing="0" id="templateContainer" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;width: 600px;background-color: #ffffff;border: 1px solid #BBBBBB;border-collapse: collapse !important;">
<tr>
<td align="center" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;" valign="top">
<table border="0" cellpadding="0" cellspacing="0" id="templateHeader" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;background-color: #F4F4F4;border-top: 1px solid #FFFFFF;border-bottom: 1px solid #CCCCCC;border-collapse: collapse !important;" width="100%">
<tr>
<td class="headerContent" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;color: #505050;font-family: Helvetica;font-size: 20px;font-weight: bold;line-height: 100%;padding-top: 0;padding-right: 0;padding-bottom: 0;padding-left: 0;text-align: left;vertical-align: middle;" valign="top"><img id="headerImage" src="http://content.prnewswire.com/designimages/prnj_email_header-1.png" style="max-width: 600px;-ms-interpolation-mode: bicubic;border: 0;height: auto;line-height: 100%;outline: none;text-decoration: none;"></td>
</tr>
</table>
</td>
</tr>
<tr>
<td align="center" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;" valign="top">
<table border="0" cellpadding="0" cellspacing="0" id="templateBody" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;background-color: #FFFFFF;border-top: 1px solid #FFFFFF;border-collapse: collapse !important;" width="100%">
<tr>
<td class="bodyContent" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;color: #505050;font-family: Helvetica;font-size: 16px;line-height: 150%;padding-top: 20px;padding-right: 20px;padding-bottom: 20px;padding-left: 20px;text-align: left;" valign="top">
<h1 style="display: block;font-family: Helvetica;font-size: 26px;font-style: normal;font-weight: bold;line-height: 100%;letter-spacing: normal;margin-top: 0;margin-right: 0;margin-bottom: 10px;margin-left: 0;text-align: left;color: #404040 !important;">Tech Profile</h1>
<h4 style="display: block;font-family: Helvetica;font-size: 14px;font-weight: normal;line-height: 100%;letter-spacing: normal;margin-top: 0;margin-right: 0;margin-bottom: 10px;margin-left: 0;text-align: left;color: #808080 !important;">Username: <a href="https://prnmedia.prnewswire.com/profile/?action=editProfile" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;color: #3d98c6;font-weight: normal;text-decoration: underline;" target="_blank">aronschatz / edit profile</a>
</h4>
</td>
</tr>
</table>
</td>
</tr>
<tr>
<td align="center" class="bodyContent" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;" valign="top">
<table border="0" cellpadding="0" cellspacing="0" id="templateBody" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;border-collapse: collapse !important;" width="100%">
<tr>
<style type="text/css">
/* Style Definitions */
span.prnews_span
{
font-size:8pt;
font-family:"Arial";
color:black;
}
a.prnews_a
{
color:blue;
}
li.prnews_li
{
font-size:8pt;
font-family:"Arial";
color:black;
}
p.prnews_p
{
font-size:0.62em;
font-family:"Arial";
color:black;
margin:0in;
}
</style>
<div xmlns="http://www.w3.org/1999/xhtml" xmlns:xn="http://www.xmlnews.org/ns/" class="xn-newslines">
<h1 class="xn-hedline">Mentor Graphics Expands Formal Verification's Reach with New Cross-Platform GUI and Apps for Sequential Logic Equivalence Checking and CDC Gate-Level Analysis</h1>
<div id="enrcontainer"></div>
<h2 class="xn-hedline">-Over 5x reduction in debug cycles with a new, interactive multi-platform GUI for the Questa® PropCheck and Questa CDC apps that enables users to be productive anywhere 24/7.</h2>
<h2 class="xn-hedline">-Reducing verification turn-around time by up to 10x, the new formal-based Questa Sequential Logic Equivalence Checking (SLEC®) app is optimized for RTL-to-RTL equivalence checking.</h2>
<h2 class="xn-hedline">-The new Questa Clock Domain Crossing (CDC) Gate-level verification app helps minimize re-spins and ensures critical synchronization logic has not been disrupted.</h2>
<p class="xn-distributor">PR Newswire</p>
<p class="xn-dateline">WILSONVILLE, Ore., April 20, 2017</p>
</div>
<div class="xn-content" xmlns="http://www.w3.org/1999/xhtml" xmlns:xn="http://www.xmlnews.org/ns/">
<p>
<span class="right" id="playercontainer"> </span><span class="xn-location">WILSONVILLE, Ore.</span>, <span class="xn-chron">April 20, 2017</span> /PRNewswire/ -- Mentor, a Siemens business, today announced new formal-based technologies in the Questa Verification Solution that provide RTL designers and verification engineers with the ability to more easily perform exhaustive formal verification analysis. The new interactive multi-platform graphical user interface (GUI) for the Questa PropCheck and Questa CDC apps enables users to be productive anywhere. The Questa Verification Solution now also offers formal-based RTL-to-RTL equivalence checking flows with the Questa Sequential Logic Equivalence Checking (SLEC) app, which can reduce verification turnaround time by 10X. The app also offers expanded clock domain crossing (CDC) capabilities with the Questa CDC-GL app for gate-level CDC analysis to help avoid costly re-spins and ensure critical synchronization logic has not been disrupted.</p>
<p>
<b>New GUI Workflow Cuts Debug Cycle by 5x<br>
</b>Interactive debug capabilities are invaluable for shortening every step of the debug cycle—from failure detection to identification of the root cause of failures to development and validation of a fix. Using Mentor's high performance Visualizer™ Debug Environment (itself built on the popular "Qt" platform), the Questa PropCheck app for formal verification enables users to more rapidly find root cause issues with their device under test (DUT) that the formal algorithms identify.</p>
<p>Additionally, with the industry-first web browser and mobile views, users can check on the progress of running jobs and analyze results when away from their workstations, enabling them to keep their projects on track 24/7. Using their employer's VPN to provide a secure data link, users can access formal or CDC results and decide whether to re-run an analysis with new parameters, alert colleagues in different time zones to necessary corrective actions, or login to their employer-provided laptops to take more extensive corrective actions themselves.</p>
<p>
<b>10x Reduction to Popular Verification Flow with Exhaustive Sequential Logic Equivalency Checking <br>
</b>Even the most carefully designed testbench is inherently incomplete, since constrained-random methods cannot hit every corner case. Even after 100% functional coverage is achieved, there can still be showstopper bugs hiding in unimagined state spaces. Furthermore, many high-value verification tasks can take weeks of testbench development and simulation. In contrast, a host of verification use cases can be addressed by sequential logical equivalence checking in hours—even minutes—with exhaustive results. </p>
<p>Leveraging Questa PropCheck technology, the new Questa SLEC app provides an exhaustive comparison between the behaviors of two RTL blocks so users can be assured all possible corner cases have been checked. In particular, this app is optimized to address three popular RTL-to-RTL sequential equivalence checking flows: verification of manual low-power clock gating, bug fix and engineering change order (ECO) validation, and ISO 26262 safety mechanism verification.</p>
<p>"Our products can't compromise on safety, so our verification must be to 100% complete," says <span class="xn-person">Thorsten Ehrenberg</span>, Manager Safety Microcontroller Development of Continental's division Chassis & Safety. "As such, formal-based verification solutions are essential given the exhaustive nature of the analysis. For some, IP Blocks formal verification is the only option to perform a complete verification. With the Questa SLEC formal app, it is possible to quantify the fault coverage of certain IP Blocks e.g. safety critical IP Blocks." </p>
<p>This new product complements the Calypto SLEC Pro and SLEC System offerings, which are focused on the verification of PowerPro™'s automatic power reductions and C-to-RTL equivalence checking respectively. In contrast, Mentor's FormalPro™ solution will continue to focus on cases where the DUTs being compared have the exact same number of states (post-synthesis RTL-to-gate, and gate-to-gate logic equivalency checking).</p>
<p>
<b>New CDC Gate-level Analysis Prevents Chip-Killing Metastability<br>
</b>CDC bugs from clock signal metastability are impossible to detect with simulation. Without CDC analysis, CDC bugs will only be discovered in the lab, when it is too late to take corrective action other than to re-spin the whole chip. Even worse, at the gate-level of logic in advanced node devices (28 nm or lower), RTL CDC tools cannot easily detect glitches introduced by synthesis or other back-end tools on CDC paths that were safe at RTL. </p>
<p>The new Questa CDC-GL app is optimized for gate-level analysis. The app leverages the RTL CDC data and the waivers generated at the RTL level by the Questa CDC solution to produce focused "low noise" results that enable rapid identification of chip-killing gate-level CDC errors. The Questa CDC-GL app is ideally suited for designs at the 28nm node and below where a gate-level analysis approach is required to prevent nasty surprises when the initial samples come back from the fab.</p>
<p>
<b>Availability<br>
</b>All of these products are available immediately, with pricing dependent on product configuration. </p>
<p>
<b>Contact for journalists<br>
</b><span class="xn-person">Suzanne Graham</span>
<br>Phone: 503-685-7789; E-mail: <a href="mailto:suzanne_graham@mentor.com" rel="nofollow" target="_blank">suzanne_graham@mentor.com</a>
</p>
<p>
<b>Mentor Graphics Corporation</b>, a Siemens business, is a world leader in electronic hardware and software design solutions, providing products, consulting services, and award-winning support for the world's most successful electronic, semiconductor, and systems companies. Corporate headquarters are located at 8005 S.W. Boeckman Road, <span class="xn-location">Wilsonville, Oregon</span> 97070-7777. Web site: <a href="http://www.mentor.com/" rel="nofollow" target="_blank">http://www.mentor.com</a>.</p>
<p>Mentor Graphics, Mentor, Questa and SLEC are registered trademarks and Visualizer, PowerPro and FormalPro are a trademark of Mentor Graphics Corporation. All other company or product names are the registered trademarks or trademarks of their respective owner.</p>
<p> </p>
<div class="PRN_ImbeddedAssetReference" id="DivAssetPlaceHolder2">
</div>
<p>SOURCE Mentor Graphics</p>
</div>
<img alt="" src="https://rt.prnewswire.com/rt.gif?NewsItemId=SF66413&Transmission_Id=201704200900PR_NEWS_USPR_____SF66413&DateId=20170420" style="border:0px; width:1px; height:1px;" xmlns="http://www.w3.org/1999/xhtml" xmlns:xn="http://www.xmlnews.org/ns/">
<p>Web Site: <a class="release-link" href="http://www.mentor.com" target="_newbrowser">http://www.mentor.com</a>
<br>
</p>
<hr>
<img alt="" src="https://rt.prnewswire.com/et.gif?newsItemId=SF66413&Transmission_Id=201704200900PR_NEWS_USPR_____SF66413&DateId=20170420&user=1224830" style="border:0px; width:1px; height:1px;"></tr>
</table>
</td>
</tr>
<tr>
<td align="center" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;" valign="top">
<table border="0" cellpadding="0" cellspacing="0" id="templateFooter" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;background-color: #F4F4F4;border-top: 1px solid #FFFFFF;border-collapse: collapse !important;" width="100%">
<tr>
<td class="footerContent social" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;color: #808080;font-family: Helvetica;font-size: 10px;line-height: 150%;padding-top: 20px;padding-right: 20px;padding-bottom: 20px;padding-left: 20px;text-align: center;" valign="top">
<h4 style="display: block;font-family: Helvetica;font-size: 14px;font-weight: normal;line-height: 100%;letter-spacing: normal;margin-top: 0;margin-right: 0;margin-bottom: 10px;margin-left: 0;text-align: center;color: #808080 !important;">Follow Us</h4>
<a href="https://www.facebook.com/pages/PR-Newswire-for-Journalists/99662330903" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;margin: 0 10px;color: #606060;font-weight: normal;text-decoration: underline;" target="_blank"><img alt="Facebook" height="32" src="http://content.prnewswire.com/images/FB-f-Logo__blue_32.png" style="-ms-interpolation-mode: bicubic;border: 0;height: auto;line-height: 100%;outline: none;text-decoration: none;" width="32"></a><a href="https://twitter.com/beyondbylines" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;margin: 0 10px;color: #606060;font-weight: normal;text-decoration: underline;" target="_blank"><img alt="Twitter" height="32" src="http://content.prnewswire.com/images/Twitter_logo_blue.png" style="-ms-interpolation-mode: bicubic;border: 0;height: auto;line-height: 100%;outline: none;text-decoration: none;" width="32"></a><a href="https://www.linkedin.com/company/pr-newswire" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;margin: 0 10px;color: #606060;font-weight: normal;text-decoration: underline;" target="_blank"><img alt="LinkedIn" height="32" src="http://content.prnewswire.com/images/In-2C-32px.png" style="-ms-interpolation-mode: bicubic;border: 0;height: auto;line-height: 100%;outline: none;text-decoration: none;" width="32"></a><a href="https://plus.google.com/+prnewswire/posts" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;margin: 0 10px;color: #606060;font-weight: normal;text-decoration: underline;" target="_blank"><img alt="Google+" height="32" src="http://content.prnewswire.com/images/Red-signin_Short_base_32dp.png" style="-ms-interpolation-mode: bicubic;border: 0;height: auto;line-height: 100%;outline: none;text-decoration: none;" width="32"></a></td>
</tr>
</table>
</td>
</tr>
<tr>
<td align="center" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;" valign="top">
<table border="0" cellpadding="0" cellspacing="0" id="templateFooter" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;background-color: #F4F4F4;border-top: 1px solid #FFFFFF;border-collapse: collapse !important;" width="100%">
<tr>
<td class="footerContent" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;color: #808080;font-family: Helvetica;font-size: 10px;line-height: 150%;padding-top: 20px;padding-right: 20px;padding-bottom: 20px;padding-left: 20px;text-align: left;" valign="top">
To change the settings for your profile(s) or email delivery, go to <a href="https://prnmedia.prnewswire.com/profile/?action=editProfile" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;color: #606060;font-weight: normal;text-decoration: underline;" target="_blank">https://prnmedia.prnewswire.com/profile/?action=editProfile</a> and select the profile you would like to edit. You can select the industries, subjects, languages, geographical areas, companies, delivery options and delivery frequencies of your choice.
<br>
<br>
In addition to current press releases, you can also find archived news, corporate information, photos, tradeshow news and much more on the PR Newswire for Journalists website: <a href="http://prnmedia.prnewswire.com" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;color: #606060;font-weight: normal;text-decoration: underline;" target="_blank">https://prnmedia.prnewswire.com</a>
<br>
<br>
To contact us, email: <a href="mailto:mediasite@prnewswire.com" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;color: #606060;font-weight: normal;text-decoration: underline;">mediasite@prnewswire.com</a>
<br>
<br>
Please do not reply to this email; this is an automatically generated message.
<br>
<br>
<em>Copyright © PR Newswire Association LLC. All Rights Reserved.</em>
<br>
A Cision company.
<br>
<br>
<strong>Our mailing address is:</strong>
<br>
350 Hudson Street, Suite 300
<br>
New York, NY 10014-4504
</td>
</tr>
</table>
</td>
</tr>
</table>
</td>
</tr>
</table>
</cente
<HEAD>
<META http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
<style type="text/css">
.xn-newslines .xn-distributor{
display:none;
}
.xn-newslines .xn-dateline{
display:none;
}
/* /\/\/\/\/\/\/\/\/ CLIENT-SPECIFIC STYLES /\/\/\/\/\/\/\/\/ */
#outlook a{padding: 0;} /* Force Outlook to provide a "view in browser" message */
.ReadMsgBody{width: 100%;} .ExternalClass{width: 100%;} /* Force Hotmail to display emails at full width */
.ExternalClass, .ExternalClass p, .ExternalClass span, .ExternalClass font, .ExternalClass td, .ExternalClass div {line-height: 100%;} /* Force Hotmail to display normal line spacing */
body, table, td, p, a, li, blockquote{-webkit-text-size-adjust: 100%; -ms-text-size-adjust: 100%;} /* Prevent WebKit and Windows mobile changing default text sizes */
table, td{mso-table-lspace: 0pt; mso-table-rspace: 0pt;} /* Remove spacing between tables in Outlook 2007 and up */
img{-ms-interpolation-mode: bicubic;} /* Allow smoother rendering of resized image in Internet Explorer */
/* /\/\/\/\/\/\/\/\/ RESET STYLES /\/\/\/\/\/\/\/\/ */
body{margin: 0; padding: 0;}
img{border: 0; height: auto; line-height: 100%; outline: none; text-decoration: none;}
table{border-collapse: collapse !important;}
body, #bodyTable, #bodyCell{height: 100% !important; margin: 0; padding: 0; width: 100% !important;}
/* /\/\/\/\/\/\/\/\/ TEMPLATE STYLES /\/\/\/\/\/\/\/\/ */
/* ========== Page Styles ========== */
#bodyCell{padding: 20px;}
#templateContainer{
width: 600px;
background-color: #ffffff;
}
/**
* @tip Set the background color and top border for your email. You may want to choose colors that match your company's branding.
* @theme page
*/
body, #bodyTable{
background-color: #DEE0E2;
}
/**
* @tip Set the background color and top border for your email. You may want to choose colors that match your company's branding.
* @theme page
*/
#bodyCell{
border-top: 4px solid #BBBBBB;
}
/**
* @tip Set the border for your email.
*/
#templateContainer{
border: 1px solid #BBBBBB;
}
/**
* @tip Set the styling for all first-level headings in your emails. These should be the largest of your headings.
* @style heading 1
*/
h1{
color: #404040 !important;
display: block;
font-family: Helvetica;
font-size: 26px;
font-style: normal;
font-weight: bold;
line-height: 100%;
letter-spacing: normal;
margin-top: 0;
margin-right: 0;
margin-bottom: 10px;
margin-left: 0;
text-align: left;
}
/**
* @tip Set the styling for all second-level headings in your emails.
* @style heading 2
*/
h2{
color: #404040 !important;
display: block;
font-family: Helvetica;
font-size: 20px;
font-style: normal;
font-weight: bold;
line-height: 100%;
letter-spacing: normal;
margin-top: 0;
margin-right: 0;
margin-bottom: 10px;
margin-left: 0;
text-align: left;
}
/**
* @tip Set the styling for all third-level headings in your emails.
* @style heading 3
*/
h3{
color: #3d98c6 !important;
display: block;
font-family: Helvetica;
font-size: 16px;
font-weight: normal;
line-height: 100%;
letter-spacing: normal;
margin-top: 0;
margin-right: 0;
margin-bottom: 10px;
margin-left: 0;
text-align: left;
}
/**
* @tip Set the styling for all fourth-level headings in your emails. These should be the smallest of your headings.
* @style heading 4
*/
h4{
color: #808080 !important;
display: block;
font-family: Helvetica;
font-size: 14px;
font-weight: normal;
line-height: 100%;
letter-spacing: normal;
margin-top: 0;
margin-right: 0;
margin-bottom: 10px;
margin-left: 0;
text-align: left;
}
h4.subtitle {
color: #808080 !important;
font-size: 14px;
}
/* ========== Header Styles ========== */
/**
* @tip Set the background color and bottom border for your email's preheader area.
* @theme header
*/
#templatePreheader{
background-color: #F4F4F4;
border-bottom: 1px solid #CCCCCC;
}
/**
* @tip Set the styling for your email's preheader text. Choose a size and color that is easy to read.
*/
.preheaderContent{
color: #808080;
font-family: Helvetica;
font-size: 10px;
line-height: 125%;
text-align: left;
}
/**
* @tip Set the styling for your email's preheader links. Choose a color that helps them stand out from your text.
*/
.preheaderContent a:link, .preheaderContent a:visited, /* Yahoo! Mail Override */ .preheaderContent a .yshortcuts /* Yahoo! Mail Override */{
color: #606060;
font-weight: normal;
text-decoration: underline;
}
/**
* @tip Set the background color and borders for your email's header area.
* @theme header
*/
#templateHeader{
background-color: #F4F4F4;
border-top: 1px solid #FFFFFF;
border-bottom: 1px solid #CCCCCC;
}
/**
* @tip Set the styling for your email's header text. Choose a size and color that is easy to read.
*/
.headerContent{
color: #505050;
font-family: Helvetica;
font-size: 20px;
font-weight: bold;
line-height: 100%;
padding-top: 0;
padding-right: 0;
padding-bottom: 0;
padding-left: 0;
text-align: left;
vertical-align: middle;
}
/**
* @tip Set the styling for your email's header links. Choose a color that helps them stand out from your text.
*/
.headerContent a:link, .headerContent a:visited, /* Yahoo! Mail Override */ .headerContent a .yshortcuts /* Yahoo! Mail Override */{
color: #3d98c6;
font-weight: normal;
text-decoration: underline;
}
#headerImage{
height: auto;
max-width: 600px;
}
#socialShare img {
margin-right: 3px;
}
/* ========== Body Styles ========== */
/**
* @tip Set the background color and borders for your email's body area.
*/
#templateBody{
background-color: #FFFFFF;
border-top: 1px solid #FFFFFF;
/*border-bottom: 1px solid #CCCCCC;*/
}
/**
* @tip Set the styling for your email's main content text. Choose a size and color that is easy to read.
* @theme main
*/
.bodyContent{
color: #505050;
font-family: Helvetica;
font-size: 16px;
line-height: 150%;
padding-top: 20px;
padding-right: 20px;
padding-bottom: 20px;
padding-left: 20px;
text-align: left;
}
/**
* @tip Set the styling for your email's main content links. Choose a color that helps them stand out from your text.
*/
.bodyContent a:link, .bodyContent a:visited, /* Yahoo! Mail Override */ .bodyContent a .yshortcuts /* Yahoo! Mail Override */{
color: #3d98c6;
font-weight: normal;
text-decoration: underline;
}
.bodyContent img{
display: inline;
height: auto;
max-width: 560px;
}
/**
* @tip Set the background color and border for your email's data table.
*/
.templateDataTable{
background-color: #FFFFFF;
}
.templateDataTable a:link {
text-decoration: none;
color: #3d98c6;
}
/**
* @tip Set the styling for your email's data table text. Choose a size and color that is easy to read.
*/
.dataTableHeading{
/*background-color: #E7F1FC;*/
color: #336699;
font-family: Helvetica;
font-size: 14px;
font-weight: bold;
line-height: 150%;
text-align: left;
}
/**
* @tip Set the styling for your email's data table links. Choose a color that helps them stand out from your text.
*/
.dataTableHeading a:link, .dataTableHeading a:visited, /* Yahoo! Mail Override */ .dataTableHeading a .yshortcuts /* Yahoo! Mail Override */{
color: #FFFFFF;
font-weight: bold;
}
/**
* @tip Set the styling for your email's data table text. Choose a size and color that is easy to read.
*/
.dataTableContent{
border-top: 1px solid #DDDDDD;
border-bottom: 0;
color: #404040;
font-family: Helvetica;
font-size: 12px;
line-height: 150%;
text-align: left;
}
/**
* @tip Set the styling for your email's data table links. Choose a color that helps them stand out from your text.
*/
.dataTableContent a:link, .dataTableContent a:visited, /* Yahoo! Mail Override */ .dataTableContent a .yshortcuts /* Yahoo! Mail Override */{
color: #3d98c6;
font-weight: bold;
}
/* ========== Column Styles ========== */
.templateColumnContainer{width: 200px;}
/**
* @tip Set the background color and borders for your email's column area.
*/
#templateColumns{
background-color: #F4F4F4;
border-top: 1px solid #FFFFFF;
border-bottom: 1px solid #CCCCCC;
}
/**
* @tip Set the styling for your email's left column content text. Choose a size and color that is easy to read.
*/
.leftColumnContent{
color: #505050;
font-family: Helvetica;
font-size: 14px;
line-height: 150%;
padding-top: 0;
padding-right: 20px;
padding-bottom: 20px;
padding-left: 20px;
text-align: left;
}
/**
* @tip Set the styling for your email's left column content links. Choose a color that helps them stand out from your text.
*/
.leftColumnContent a:link, .leftColumnContent a:visited, /* Yahoo! Mail Override */ .leftColumnContent a .yshortcuts /* Yahoo! Mail Override */{
color: #3d98c6;
font-weight: normal;
text-decoration: underline;
}
/**
* @tip Set the styling for your email's center column content text. Choose a size and color that is easy to read.
*/
.centerColumnContent{
color: #505050;
font-family: Helvetica;
font-size: 14px;
line-height: 150%;
padding-top: 0;
padding-right: 20px;
padding-bottom: 20px;
padding-left: 20px;
text-align: left;
}
/**
* @tip Set the styling for your email's center column content links. Choose a color that helps them stand out from your text.
*/
.centerColumnContent a:link, .centerColumnContent a:visited, /* Yahoo! Mail Override */ .centerColumnContent a .yshortcuts /* Yahoo! Mail Override */{
color: #3d98c6;
font-weight: normal;
text-decoration: underline;
}
/**
* @tip Set the styling for your email's right column content text. Choose a size and color that is easy to read.
*/
.rightColumnContent{
color: #505050;
font-family: Helvetica;
font-size: 14px;
line-height: 150%;
padding-top: 0;
padding-right: 20px;
padding-bottom: 20px;
padding-left: 20px;
text-align: left;
}
/**
* @tip Set the styling for your email's right column content links. Choose a color that helps them stand out from your text.
*/
.rightColumnContent a:link, .rightColumnContent a:visited, /* Yahoo! Mail Override */ .rightColumnContent a .yshortcuts /* Yahoo! Mail Override */{
color: #3d98c6;
font-weight: normal;
text-decoration: underline;
}
.leftColumnContent img, .rightColumnContent img{
display: inline;
height: auto;
max-width: 260px;
}
/* ========== Footer Styles ========== */
/**
* @tip Set the background color and borders for your email's footer area.
* @theme footer
*/
#templateFooter{
background-color: #F4F4F4;
border-top: 1px solid #FFFFFF;
}
/**
* @tip Set the styling for your email's footer text. Choose a size and color that is easy to read.
* @theme footer
*/
.footerContent{
color: #808080;
font-family: Helvetica;
font-size: 10px;
line-height: 150%;
padding-top: 20px;
padding-right: 20px;
padding-bottom: 20px;
padding-left: 20px;
text-align: left;
}
.footerContent.social, .footerContent.social h4 {
text-align: center;
}
.footerContent.social a {
margin: 0 10px;
}
/**
* @tip Set the styling for your email's footer links. Choose a color that helps them stand out from your text.
*/
.footerContent a:link, .footerContent a:visited, /* Yahoo! Mail Override */ .footerContent a .yshortcuts, .footerContent a span /* Yahoo! Mail Override */{
color: #606060;
font-weight: normal;
text-decoration: underline;
}
/* /\/\/\/\/\/\/\/\/ MOBILE STYLES /\/\/\/\/\/\/\/\/ */
@media only screen and (max-width: 480px){
/* /\/\/\/\/\/\/ CLIENT-SPECIFIC MOBILE STYLES /\/\/\/\/\/\/ */
body, table, td, p, a, li, blockquote{-webkit-text-size-adjust: none !important;} /* Prevent Webkit platforms from changing default text sizes */
body{width: 100% !important; min-width: 100% !important;} /* Prevent iOS Mail from adding padding to the body */
/* /\/\/\/\/\/\/ MOBILE RESET STYLES /\/\/\/\/\/\/ */
#bodyCell{padding: 10px !important;}
/* /\/\/\/\/\/\/ MOBILE TEMPLATE STYLES /\/\/\/\/\/\/ */
/* ======== Page Styles ======== */
/**
* @tip Make the template fluid for portrait or landscape view adaptability. If a fluid layout doesn't work for you, set the width to 300px instead.
*/
#templateContainer{
max-width: 600px !important;
width: 100% !important;
}
/**
* @tip Make the first-level headings larger in size for better readability on small screens.
*/
h1{
font-size: 24px !important;
line-height: 100% !important;
}
/**
* @tip Make the second-level headings larger in size for better readability on small screens.
*/
h2{
font-size: 20px !important;
line-height: 100% !important;
}
/**
* @tip Make the third-level headings larger in size for better readability on small screens.
*/
h3{
font-size: 18px !important;
line-height: 100% !important;
}
/**
* @tip Make the fourth-level headings larger in size for better readability on small screens.
*/
h4{
font-size: 16px !important;
line-height: 100% !important;
}
/* ======== Header Styles ======== */
#templatePreheader{display: none !important;} /* Hide the template preheader to save space */
/**
* @tip Make the main header image fluid for portrait or landscape view adaptability, and set the image's original width as the max-width. If a fluid setting doesn't work, set the image width to half its original size instead.
*/
#headerImage{
height: auto !important;
max-width: 600px !important;
width: 100% !important;
}
/**
* @tip Make the header content text larger in size for better readability on small screens. We recommend a font size of at least 16px.
*/
.headerContent{
font-size: 20px !important;
line-height: 125% !important;
}
/* ======== Body Styles ======== */
/**
* @tip Make the body content text larger in size for better readability on small screens. We recommend a font size of at least 16px.
*/
.bodyContent{
font-size: 18px !important;
line-height: 125% !important;
}
.templateDataTableContainer {
background-color: #ffffff;
}
/**
* @tip Set the background color and border for your email's data table.
*/
.templateDataTable{
background-color: #FFFFFF;
border: 1px solid #DDDDDD;
}
/**
* @tip Set the styling for your email's data table text. Choose a size and color that is easy to read.
*/
.dataTableHeading{
background-color: #D8E2EA;
color: #336699;
font-family: Helvetica;
font-size: 14px;
font-weight: bold;
line-height: 150%;
text-align: left;
}
/**
* @tip Set the styling for your email's data table links. Choose a color that helps them stand out from your text.
*/
.dataTableHeading a:link, .dataTableHeading a:visited, /* Yahoo! Mail Override */ .dataTableHeading a .yshortcuts /* Yahoo! Mail Override */{
color: #3d98c6;
font-weight: bold;
}
/**
* @tip Set the styling for your email's data table text. Choose a size and color that is easy to read.
*/
.dataTableContent{
border-top: 1px solid #DDDDDD;
border-bottom: 0;
color: #202020;
font-family: Helvetica;
font-size: 12px;
font-weight: bold;
line-height: 150%;
text-align: left;
}
/**
* @tip Set the styling for your email's data table links. Choose a color that helps them stand out from your text.
*/
.dataTableContent a:link, .dataTableContent a:visited, /* Yahoo! Mail Override */ .dataTableContent a .yshortcuts /* Yahoo! Mail Override */{
color: #3d98c6;
font-weight: bold;
}
/* ======== Column Styles ======== */
.templateColumnContainer{display: block !important; width: 100% !important;}
/**
* @tip Make the column image fluid for portrait or landscape view adaptability, and set the image's original width as the max-width. If a fluid setting doesn't work, set the image width to half its original size instead.
*/
.columnImage{
height: auto !important;
max-width: 480px !important;
width: 100% !important;
}
/**
* @tip Make the left column content text larger in size for better readability on small screens. We recommend a font size of at least 16px.
*/
.leftColumnContent{
font-size: 16px !important;
line-height: 125% !important;
}
/**
* @tip Make the center column content text larger in size for better readability on small screens. We recommend a font size of at least 16px.
*/
.centerColumnContent{
font-size: 16px !important;
line-height: 125% !important;
}
/**
* @tip Make the right column content text larger in size for better readability on small screens. We recommend a font size of at least 16px.
*/
.rightColumnContent{
font-size: 16px !important;
line-height: 125% !important;
}
/* ======== Footer Styles ======== */
/**
* @tip Make the body content text larger in size for better readability on small screens.
*/
.footerContent{
font-size: 14px !important;
line-height: 115% !important;
}
.footerContent a {
display:block !important;
} /* Place footer social and utility links on their own lines, for easier access */
.footerContent.social a {
display: inline-block !important;
}
}
</style>
</HEAD>
<body leftmargin="0" marginheight="0" marginwidth="0" offset="0" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;margin: 0;padding: 0;background-color: #DEE0E2;height: 100% !important;width: 100% !important;" topmargin="0">
<center>
<table align="center" border="0" cellpadding="0" cellspacing="0" height="100%" id="bodyTable" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;margin: 0;padding: 0;background-color: #DEE0E2;border-collapse: collapse !important;height: 100% !important;width: 100% !important;" width="100%">
<tr>
<td align="center" id="bodyCell" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;margin: 0;padding: 20px;border-top: 4px solid #BBBBBB;height: 100% !important;width: 100% !important;" valign="top">
<table border="0" cellpadding="0" cellspacing="0" id="templateContainer" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;width: 600px;background-color: #ffffff;border: 1px solid #BBBBBB;border-collapse: collapse !important;">
<tr>
<td align="center" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;" valign="top">
<table border="0" cellpadding="0" cellspacing="0" id="templateHeader" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;background-color: #F4F4F4;border-top: 1px solid #FFFFFF;border-bottom: 1px solid #CCCCCC;border-collapse: collapse !important;" width="100%">
<tr>
<td class="headerContent" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;color: #505050;font-family: Helvetica;font-size: 20px;font-weight: bold;line-height: 100%;padding-top: 0;padding-right: 0;padding-bottom: 0;padding-left: 0;text-align: left;vertical-align: middle;" valign="top"><img id="headerImage" src="http://content.prnewswire.com/designimages/prnj_email_header-1.png" style="max-width: 600px;-ms-interpolation-mode: bicubic;border: 0;height: auto;line-height: 100%;outline: none;text-decoration: none;"></td>
</tr>
</table>
</td>
</tr>
<tr>
<td align="center" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;" valign="top">
<table border="0" cellpadding="0" cellspacing="0" id="templateBody" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;background-color: #FFFFFF;border-top: 1px solid #FFFFFF;border-collapse: collapse !important;" width="100%">
<tr>
<td class="bodyContent" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;color: #505050;font-family: Helvetica;font-size: 16px;line-height: 150%;padding-top: 20px;padding-right: 20px;padding-bottom: 20px;padding-left: 20px;text-align: left;" valign="top">
<h1 style="display: block;font-family: Helvetica;font-size: 26px;font-style: normal;font-weight: bold;line-height: 100%;letter-spacing: normal;margin-top: 0;margin-right: 0;margin-bottom: 10px;margin-left: 0;text-align: left;color: #404040 !important;">Tech Profile</h1>
<h4 style="display: block;font-family: Helvetica;font-size: 14px;font-weight: normal;line-height: 100%;letter-spacing: normal;margin-top: 0;margin-right: 0;margin-bottom: 10px;margin-left: 0;text-align: left;color: #808080 !important;">Username: <a href="https://prnmedia.prnewswire.com/profile/?action=editProfile" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;color: #3d98c6;font-weight: normal;text-decoration: underline;" target="_blank">aronschatz / edit profile</a>
</h4>
</td>
</tr>
</table>
</td>
</tr>
<tr>
<td align="center" class="bodyContent" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;" valign="top">
<table border="0" cellpadding="0" cellspacing="0" id="templateBody" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;border-collapse: collapse !important;" width="100%">
<tr>
<style type="text/css">
/* Style Definitions */
span.prnews_span
{
font-size:8pt;
font-family:"Arial";
color:black;
}
a.prnews_a
{
color:blue;
}
li.prnews_li
{
font-size:8pt;
font-family:"Arial";
color:black;
}
p.prnews_p
{
font-size:0.62em;
font-family:"Arial";
color:black;
margin:0in;
}
</style>
<div xmlns="http://www.w3.org/1999/xhtml" xmlns:xn="http://www.xmlnews.org/ns/" class="xn-newslines">
<h1 class="xn-hedline">Mentor Graphics Expands Formal Verification's Reach with New Cross-Platform GUI and Apps for Sequential Logic Equivalence Checking and CDC Gate-Level Analysis</h1>
<div id="enrcontainer"></div>
<h2 class="xn-hedline">-Over 5x reduction in debug cycles with a new, interactive multi-platform GUI for the Questa® PropCheck and Questa CDC apps that enables users to be productive anywhere 24/7.</h2>
<h2 class="xn-hedline">-Reducing verification turn-around time by up to 10x, the new formal-based Questa Sequential Logic Equivalence Checking (SLEC®) app is optimized for RTL-to-RTL equivalence checking.</h2>
<h2 class="xn-hedline">-The new Questa Clock Domain Crossing (CDC) Gate-level verification app helps minimize re-spins and ensures critical synchronization logic has not been disrupted.</h2>
<p class="xn-distributor">PR Newswire</p>
<p class="xn-dateline">WILSONVILLE, Ore., April 20, 2017</p>
</div>
<div class="xn-content" xmlns="http://www.w3.org/1999/xhtml" xmlns:xn="http://www.xmlnews.org/ns/">
<p>
<span class="right" id="playercontainer"> </span><span class="xn-location">WILSONVILLE, Ore.</span>, <span class="xn-chron">April 20, 2017</span> /PRNewswire/ -- Mentor, a Siemens business, today announced new formal-based technologies in the Questa Verification Solution that provide RTL designers and verification engineers with the ability to more easily perform exhaustive formal verification analysis. The new interactive multi-platform graphical user interface (GUI) for the Questa PropCheck and Questa CDC apps enables users to be productive anywhere. The Questa Verification Solution now also offers formal-based RTL-to-RTL equivalence checking flows with the Questa Sequential Logic Equivalence Checking (SLEC) app, which can reduce verification turnaround time by 10X. The app also offers expanded clock domain crossing (CDC) capabilities with the Questa CDC-GL app for gate-level CDC analysis to help avoid costly re-spins and ensure critical synchronization logic has not been disrupted.</p>
<p>
<b>New GUI Workflow Cuts Debug Cycle by 5x<br>
</b>Interactive debug capabilities are invaluable for shortening every step of the debug cycle—from failure detection to identification of the root cause of failures to development and validation of a fix. Using Mentor's high performance Visualizer™ Debug Environment (itself built on the popular "Qt" platform), the Questa PropCheck app for formal verification enables users to more rapidly find root cause issues with their device under test (DUT) that the formal algorithms identify.</p>
<p>Additionally, with the industry-first web browser and mobile views, users can check on the progress of running jobs and analyze results when away from their workstations, enabling them to keep their projects on track 24/7. Using their employer's VPN to provide a secure data link, users can access formal or CDC results and decide whether to re-run an analysis with new parameters, alert colleagues in different time zones to necessary corrective actions, or login to their employer-provided laptops to take more extensive corrective actions themselves.</p>
<p>
<b>10x Reduction to Popular Verification Flow with Exhaustive Sequential Logic Equivalency Checking <br>
</b>Even the most carefully designed testbench is inherently incomplete, since constrained-random methods cannot hit every corner case. Even after 100% functional coverage is achieved, there can still be showstopper bugs hiding in unimagined state spaces. Furthermore, many high-value verification tasks can take weeks of testbench development and simulation. In contrast, a host of verification use cases can be addressed by sequential logical equivalence checking in hours—even minutes—with exhaustive results. </p>
<p>Leveraging Questa PropCheck technology, the new Questa SLEC app provides an exhaustive comparison between the behaviors of two RTL blocks so users can be assured all possible corner cases have been checked. In particular, this app is optimized to address three popular RTL-to-RTL sequential equivalence checking flows: verification of manual low-power clock gating, bug fix and engineering change order (ECO) validation, and ISO 26262 safety mechanism verification.</p>
<p>"Our products can't compromise on safety, so our verification must be to 100% complete," says <span class="xn-person">Thorsten Ehrenberg</span>, Manager Safety Microcontroller Development of Continental's division Chassis & Safety. "As such, formal-based verification solutions are essential given the exhaustive nature of the analysis. For some, IP Blocks formal verification is the only option to perform a complete verification. With the Questa SLEC formal app, it is possible to quantify the fault coverage of certain IP Blocks e.g. safety critical IP Blocks." </p>
<p>This new product complements the Calypto SLEC Pro and SLEC System offerings, which are focused on the verification of PowerPro™'s automatic power reductions and C-to-RTL equivalence checking respectively. In contrast, Mentor's FormalPro™ solution will continue to focus on cases where the DUTs being compared have the exact same number of states (post-synthesis RTL-to-gate, and gate-to-gate logic equivalency checking).</p>
<p>
<b>New CDC Gate-level Analysis Prevents Chip-Killing Metastability<br>
</b>CDC bugs from clock signal metastability are impossible to detect with simulation. Without CDC analysis, CDC bugs will only be discovered in the lab, when it is too late to take corrective action other than to re-spin the whole chip. Even worse, at the gate-level of logic in advanced node devices (28 nm or lower), RTL CDC tools cannot easily detect glitches introduced by synthesis or other back-end tools on CDC paths that were safe at RTL. </p>
<p>The new Questa CDC-GL app is optimized for gate-level analysis. The app leverages the RTL CDC data and the waivers generated at the RTL level by the Questa CDC solution to produce focused "low noise" results that enable rapid identification of chip-killing gate-level CDC errors. The Questa CDC-GL app is ideally suited for designs at the 28nm node and below where a gate-level analysis approach is required to prevent nasty surprises when the initial samples come back from the fab.</p>
<p>
<b>Availability<br>
</b>All of these products are available immediately, with pricing dependent on product configuration. </p>
<p>
<b>Contact for journalists<br>
</b><span class="xn-person">Suzanne Graham</span>
<br>Phone: 503-685-7789; E-mail: <a href="mailto:suzanne_graham@mentor.com" rel="nofollow" target="_blank">suzanne_graham@mentor.com</a>
</p>
<p>
<b>Mentor Graphics Corporation</b>, a Siemens business, is a world leader in electronic hardware and software design solutions, providing products, consulting services, and award-winning support for the world's most successful electronic, semiconductor, and systems companies. Corporate headquarters are located at 8005 S.W. Boeckman Road, <span class="xn-location">Wilsonville, Oregon</span> 97070-7777. Web site: <a href="http://www.mentor.com/" rel="nofollow" target="_blank">http://www.mentor.com</a>.</p>
<p>Mentor Graphics, Mentor, Questa and SLEC are registered trademarks and Visualizer, PowerPro and FormalPro are a trademark of Mentor Graphics Corporation. All other company or product names are the registered trademarks or trademarks of their respective owner.</p>
<p> </p>
<div class="PRN_ImbeddedAssetReference" id="DivAssetPlaceHolder2">
</div>
<p>SOURCE Mentor Graphics</p>
</div>
<img alt="" src="https://rt.prnewswire.com/rt.gif?NewsItemId=SF66413&Transmission_Id=201704200900PR_NEWS_USPR_____SF66413&DateId=20170420" style="border:0px; width:1px; height:1px;" xmlns="http://www.w3.org/1999/xhtml" xmlns:xn="http://www.xmlnews.org/ns/">
<p>Web Site: <a class="release-link" href="http://www.mentor.com" target="_newbrowser">http://www.mentor.com</a>
<br>
</p>
<hr>
<img alt="" src="https://rt.prnewswire.com/et.gif?newsItemId=SF66413&Transmission_Id=201704200900PR_NEWS_USPR_____SF66413&DateId=20170420&user=1224830" style="border:0px; width:1px; height:1px;"></tr>
</table>
</td>
</tr>
<tr>
<td align="center" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;" valign="top">
<table border="0" cellpadding="0" cellspacing="0" id="templateFooter" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;background-color: #F4F4F4;border-top: 1px solid #FFFFFF;border-collapse: collapse !important;" width="100%">
<tr>
<td class="footerContent social" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;color: #808080;font-family: Helvetica;font-size: 10px;line-height: 150%;padding-top: 20px;padding-right: 20px;padding-bottom: 20px;padding-left: 20px;text-align: center;" valign="top">
<h4 style="display: block;font-family: Helvetica;font-size: 14px;font-weight: normal;line-height: 100%;letter-spacing: normal;margin-top: 0;margin-right: 0;margin-bottom: 10px;margin-left: 0;text-align: center;color: #808080 !important;">Follow Us</h4>
<a href="https://www.facebook.com/pages/PR-Newswire-for-Journalists/99662330903" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;margin: 0 10px;color: #606060;font-weight: normal;text-decoration: underline;" target="_blank"><img alt="Facebook" height="32" src="http://content.prnewswire.com/images/FB-f-Logo__blue_32.png" style="-ms-interpolation-mode: bicubic;border: 0;height: auto;line-height: 100%;outline: none;text-decoration: none;" width="32"></a><a href="https://twitter.com/beyondbylines" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;margin: 0 10px;color: #606060;font-weight: normal;text-decoration: underline;" target="_blank"><img alt="Twitter" height="32" src="http://content.prnewswire.com/images/Twitter_logo_blue.png" style="-ms-interpolation-mode: bicubic;border: 0;height: auto;line-height: 100%;outline: none;text-decoration: none;" width="32"></a><a href="https://www.linkedin.com/company/pr-newswire" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;margin: 0 10px;color: #606060;font-weight: normal;text-decoration: underline;" target="_blank"><img alt="LinkedIn" height="32" src="http://content.prnewswire.com/images/In-2C-32px.png" style="-ms-interpolation-mode: bicubic;border: 0;height: auto;line-height: 100%;outline: none;text-decoration: none;" width="32"></a><a href="https://plus.google.com/+prnewswire/posts" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;margin: 0 10px;color: #606060;font-weight: normal;text-decoration: underline;" target="_blank"><img alt="Google+" height="32" src="http://content.prnewswire.com/images/Red-signin_Short_base_32dp.png" style="-ms-interpolation-mode: bicubic;border: 0;height: auto;line-height: 100%;outline: none;text-decoration: none;" width="32"></a></td>
</tr>
</table>
</td>
</tr>
<tr>
<td align="center" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;" valign="top">
<table border="0" cellpadding="0" cellspacing="0" id="templateFooter" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;background-color: #F4F4F4;border-top: 1px solid #FFFFFF;border-collapse: collapse !important;" width="100%">
<tr>
<td class="footerContent" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;mso-table-lspace: 0pt;mso-table-rspace: 0pt;color: #808080;font-family: Helvetica;font-size: 10px;line-height: 150%;padding-top: 20px;padding-right: 20px;padding-bottom: 20px;padding-left: 20px;text-align: left;" valign="top">
To change the settings for your profile(s) or email delivery, go to <a href="https://prnmedia.prnewswire.com/profile/?action=editProfile" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;color: #606060;font-weight: normal;text-decoration: underline;" target="_blank">https://prnmedia.prnewswire.com/profile/?action=editProfile</a> and select the profile you would like to edit. You can select the industries, subjects, languages, geographical areas, companies, delivery options and delivery frequencies of your choice.
<br>
<br>
In addition to current press releases, you can also find archived news, corporate information, photos, tradeshow news and much more on the PR Newswire for Journalists website: <a href="http://prnmedia.prnewswire.com" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;color: #606060;font-weight: normal;text-decoration: underline;" target="_blank">https://prnmedia.prnewswire.com</a>
<br>
<br>
To contact us, email: <a href="mailto:mediasite@prnewswire.com" style="-webkit-text-size-adjust: 100%;-ms-text-size-adjust: 100%;color: #606060;font-weight: normal;text-decoration: underline;">mediasite@prnewswire.com</a>
<br>
<br>
Please do not reply to this email; this is an automatically generated message.
<br>
<br>
<em>Copyright © PR Newswire Association LLC. All Rights Reserved.</em>
<br>
A Cision company.
<br>
<br>
<strong>Our mailing address is:</strong>
<br>
350 Hudson Street, Suite 300
<br>
New York, NY 10014-4504
</td>
</tr>
</table>
</td>
</tr>
</table>
</td>
</tr>
</table>
</cente