Cadence Introduces the Conformal Smart Logic Equivalence Checker

Author
SySAdmin
Posted
September 13, 2017
Views
411

Page All:

Page 1
<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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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_push_email_logo_header.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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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">Cadence Introduces the Conformal Smart Logic Equivalence Checker</h1>

<h2 class="xn-hedline">Massively parallel architecture and adaptive proof technology improve equivalence checking runtime by an average of 4X</h2>

<p class="xn-distributor">PR Newswire</p>

<p class="xn-dateline">SAN JOSE, Calif., Sept. 13, 2017</p>
</div>

<div class="xn-content" xmlns="http://www.w3.org/1999/xhtml" xmlns:xn="http://www.xmlnews.org/ns/">

<p>
<span class="xn-location">SAN JOSE, Calif.</span>, <span class="xn-chron">Sept. 13, 2017</span> /PRNewswire/ --&nbsp;Cadence Design Systems, Inc. (NASDAQ: CDNS) today announced the Cadence&reg; Conformal&reg; Smart Logic Equivalence Checker (LEC), the next-generation equivalence checking solution that delivers a significant improvement in equivalence checking runtime with minimal user effort. The Conformal Smart LEC delivers an average of 4X runtime improvement compared to the previous generation of logic equivalency checking tools with the same compute resources.</p>

   

<p>For more information on the Conformal Smart LEC, visit <a href="https://www.cadence.com/content/cadence-www/global/en_US/home/tools/digital-design-and-signoff/logic-equivalence-checking/conformal-smart-lec.html" rel="nofollow" target="_blank">http://www.cadence.com/go/conformalsl</a>.&nbsp;&nbsp; </p>

<p>With rapidly growing chip functionality, design sizes are increasing. In addition, with the latest advances in logic synthesis at advanced nodes, designers employ aggressive synthesis techniques to achieve power, performance and area (PPA) goals. These advances in both design size and complexity stress equivalence checking proof methods and can result in long runtimes and sometimes inconclusive results. Equivalence checking is a critical step in digital tapeout flows, and the Conformal Smart LEC solution addresses these issues. The key technology components of the Conformal Smart LEC are: </p>

<ul type="disc">

<li>
<b>Massively parallel architecture</b> automatically partitions designs and distributes formal proof strategies across multiple machines and CPUs, and can scale seamlessly to 100s of CPUs for improved runtime. This process is fully transparent to the user and does not require manual configurations.
</li>
<li>
<b>Adaptive proof technology </b>finds the fastest solution to a conclusive proof with minimal user effort. It analyzes each partition and determines the optimal formal algorithm to use to minimize runtime and avoid proof timeouts&mdash;especially on designs with complex behavioral datapath components.&nbsp; </li>
</ul>

<p>"We've already seen several customers achieve significant runtime improvements and aggressive PPA goals with the Cadence Conformal Smart LEC," said Dr. <span class="xn-person">Anirudh Devgan</span>, executive vice president and general manager of the Digital &amp; Signoff Group and the System &amp; Verification Group at Cadence. "Additionally, our massively parallel architecture and adaptive proof technologies for equivalence checking reduce the need for manual tasks so customers can deliver complex designs to market faster."</p>

<p>"For complicated designs including deep logic cones, it often used to take multiple expert user iterations per block to prove RTL-to-gate logic equivalence," said <span class="xn-person">Hideyuki Okabe</span>, senior manager, Digital Design Technology Department, Shared R&amp;D Division 2, Broad-Based Solution Business Unit at Renesas Electronics Corporation. "The Cadence Conformal Smart LEC automatically identifies the right proof strategy and has reduced these iterations to just one. Also, the Conformal Smart LEC's massively parallel architecture has enabled us to reduce our average runtime by 4X. With our designs moving to smaller process nodes and continuing to grow in size and complexity, this technology is crucial to meet our current and future time-to-market goals."</p>

<p>The new Conformal Smart LEC further extends the innovation within the Cadence digital design and signoff suite and supports the company's broader System Design Enablement strategy, which enables system and semiconductor companies to create complete, differentiated end products more efficiently. </p>

<p>
<b>About Cadence</b>
</p>

<p>Cadence enables electronic systems and semiconductor companies to create the innovative end products that are transforming the way people live, work and play. Cadence software, hardware and semiconductor IP are used by customers to deliver products to market faster. The company's System Design Enablement strategy helps customers develop differentiated products&mdash;from chips to boards to systems&mdash;in mobile, consumer, cloud datacenter, automotive, aerospace, IoT, industrial and other market segments. Cadence is listed as one of Fortune Magazine's 100 Best Companies to Work For. Learn more at&nbsp;<a href="http://www.cadence.com/" rel="nofollow" target="_blank">cadence.com</a><u>.</u>
</p>

<p>
<i>&copy; 2017 Cadence Design Systems, Inc. All rights reserved worldwide. Cadence, the Cadence logo and the other Cadence marks found at </i><i><a href="http://www.cadence.com/go/trademarks" rel="nofollow">http://www.cadence.com/go/trademarks</a></i>&nbsp;<i>are trademarks or registered trademarks of Cadence Design Systems, Inc. All other trademarks are the property of their respective owners.</i>
</p>

<p>For more information, please contact:<br>Cadence Newsroom<br>408-944-7039<br>
<a href="mailto:newsroom@cadence.com" rel="nofollow" target="_blank">newsroom@cadence.com</a>
</p>

<p>&nbsp;</p>

<div class="PRN_ImbeddedAssetReference" id="DivAssetPlaceHolder2">

</div>

<p id="PURL">View original content with multimedia:<a href="http://www.prnewswire.com/news-releases/cadence-introduces-the-conformal-smart-logic-equivalence-checker-300518609.html" id="PRNURL" rel="nofollow">http://www.prnewswire.com/news-releases/cadence-introduces-the-conformal-smart-logic-equivalence-checker-300518609.html</a>
</p>

<p>SOURCE  Cadence Design Systems, Inc.</p>

</div>

<img alt="" src="https://rt.prnewswire.com/rt.gif?NewsItemId=SF87690&Transmission_Id=201709132130PR_NEWS_USPR_____SF87690&DateId=20170913" 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.cadence.com" target="_newbrowser">http://www.cadence.com</a>
<br>
</p>

<hr>
<img alt="" src="https://rt.prnewswire.com/et.gif?newsItemId=SF87690&Transmission_Id=201709132130PR_NEWS_USPR_____SF87690&DateId=20170914&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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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: 'Montserrat', arial, sans-serif, 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 &copy; 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

Title

Medium Image View Large