{"id":26233,"date":"2025-05-18T23:23:55","date_gmt":"2025-05-18T23:23:55","guid":{"rendered":"https:\/\/wattsemi.com\/?p=26233"},"modified":"2025-05-18T23:24:20","modified_gmt":"2025-05-18T23:24:20","slug":"lec-common-causes-of-conformal-lec-logic-equivalence-check-failures-during-asic-physical-design","status":"publish","type":"post","link":"https:\/\/wattsemi.com\/?p=26233","title":{"rendered":"LEC: Common Causes of Conformal LEC (Logic Equivalence Check) Failures during ASIC Physical Design"},"content":{"rendered":"\n

Conformal LEC compares\u00a0RTL vs. Netlist<\/strong>\u00a0or\u00a0Pre-Post P&R Netlists<\/strong>\u00a0to ensure functional equivalence. <\/p>\n\n\n\n

<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n
\"\"<\/figure>\n\n\n\n
\"\"<\/figure>\n\n\n\n

This is how golden DFF vs. revised DFF looks after power optimization.<\/h3>\n\n\n\n
\"\"<\/figure>\n\n\n\n

<\/p>\n\n\n\n

Common Causes of Conformal LEC (Logic Equivalence Check) Failures in ASIC Physical Design<\/strong><\/p>\n\n\n\n

Conformal LEC compares RTL vs. Netlist<\/strong> or Pre-Post P&R Netlists<\/strong> to ensure functional equivalence. <\/p>\n\n\n\n

Failures indicate mismatches\u2014here are the most frequent culprits:<\/strong><\/p>\n\n\n\n

\n\n\n\n

1. Unintended Logic Transformations<\/strong><\/h2>\n\n\n\n

Causes:<\/strong><\/h3>\n\n\n\n
    \n
  • Optimization Aggressiveness<\/strong>: Synthesis\/P&R tools merge\/remove redundant logic.<\/li>\n\n\n\n
  • Clock Gating\/Power Gating<\/strong>: Missing constraints cause gating logic mismatches.<\/li>\n\n\n\n
  • Constant Propagation<\/strong>: Unintended optimization of tied-high\/low signals.<\/li>\n<\/ul>\n\n\n\n

    Debug Steps:<\/strong><\/h3>\n\n\n\n
    # Check if constants are propagated differently:\nreport_constant -pre_synth vs. report_constant -post_phys<\/code><\/pre>\n\n\n\n
    \n\n\n\n
    2. Clock Tree Modifications<\/strong><\/h2>\n\n\n\n
    Causes:<\/strong><\/h3>\n\n\n\n
      \n
    • Clock Buffers\/Inverters Inserted<\/strong>: CTS alters clock paths (e.g., balancing skew).<\/li>\n\n\n\n
    • Clock Gating Cells<\/strong>: Added post-synthesis but not modeled in reference design.<\/li>\n<\/ul>\n\n\n\n
      Fix:<\/strong><\/h3>\n\n\n\n
      # Exclude clock cells from LEC:\nset_ignore -type cell {CLK_BUF* CLK_INV*}<\/code><\/pre>\n\n\n\n
      \n\n\n\n
      3. Scan Chain Reordering<\/strong><\/h2>\n\n\n\n
      Causes:<\/strong><\/h3>\n\n\n\n
        \n
      • DFT Insertion<\/strong>: Scan flops reordered for routing efficiency.<\/li>\n\n\n\n
      • Test Mode Signals<\/strong>: Missing constraints for scan-enable (SE<\/code>)\/test clocks.<\/li>\n<\/ul>\n\n\n\n
        Debug:<\/strong><\/h3>\n\n\n\n
        # Compare scan chains pre\/post-P&R:\nreport_scan_chain -pre_synth\nreport_scan_chain -post_phys<\/code><\/pre>\n\n\n\n
        \n\n\n\n
        4. Power-Aware Optimizations<\/strong><\/h2>\n\n\n\n
        Causes:<\/strong><\/h3>\n\n\n\n
          \n
        • Level Shifters\/Isolation Cells<\/strong>: Added for UPF\/CPF power domains.<\/li>\n\n\n\n
        • Retention Registers<\/strong>: Power-gating changes flop behavior.<\/li>\n<\/ul>\n\n\n\n
          Fix:<\/strong><\/h3>\n\n\n\n
          # Map power-aware cells correctly:\nset_mapping -match_by_name -type level_shifter<\/code><\/pre>\n\n\n\n
          \n\n\n\n
          5. ECO Changes Not Back-Annotated<\/strong><\/h2>\n\n\n\n
          Causes:<\/strong><\/h3>\n\n\n\n
            \n
          • Manual ECOs<\/strong>: Logic fixes in P&R not reflected in reference netlist.<\/li>\n\n\n\n
          • Metal-Only ECOs<\/strong>: Functional changes missed in LEC.<\/li>\n<\/ul>\n\n\n\n
            Debug:<\/strong><\/h3>\n\n\n\n
            # Check ECO log files:\ncompare_eco -pre_eco netlist.v -post_eco netlist_eco.v<\/code><\/pre>\n\n\n\n
            \n\n\n\n
            6. Black Boxes\/Unmodeled Hierarchies<\/strong><\/h2>\n\n\n\n
            Causes:<\/strong><\/h3>\n\n\n\n
              \n
            • Third-Party IPs<\/strong>: Missing\/outdated behavioral models.<\/li>\n\n\n\n
            • Analog Blocks<\/strong>: Treated as black boxes in RTL but instantiated in netlist.<\/li>\n<\/ul>\n\n\n\n
              Fix:<\/strong><\/h3>\n\n\n\n
              # Define black boxes explicitly:\nset_blackbox -module {ADC_CORE PLL_CORE}<\/code><\/pre>\n\n\n\n
              \n\n\n\n
              7. Timing-Driven Optimizations<\/strong><\/h2>\n\n\n\n
              Causes:<\/strong><\/h3>\n\n\n\n
                \n
              • Gate Sizing<\/strong>: Changes cell drive strength but not functionality.<\/li>\n\n\n\n
              • Buffer Insertion<\/strong>: Adds delay buffers on critical paths.<\/li>\n<\/ul>\n\n\n\n
                Debug:<\/strong><\/h3>\n\n\n\n
                # Ignore non-functional buffers:\nset_ignore -cell_type {BUF*}<\/code><\/pre>\n\n\n\n
                \n\n\n\n
                8. Reset Signal Handling<\/strong><\/h2>\n\n\n\n
                Causes:<\/strong><\/h3>\n\n\n\n
                  \n
                • Asynchronous vs. Sync Resets<\/strong>: Synthesis converts one to the other.<\/li>\n\n\n\n
                • Reset Tree Buffering<\/strong>: Physical design adds buffers to reset nets.<\/li>\n<\/ul>\n\n\n\n
                  Fix:<\/strong><\/h3>\n\n\n\n
                  # Align reset policies:\nset_reset -sync -all<\/code><\/pre>\n\n\n\n
                  \n\n\n\n
                  9. Name Mismatches After P&R<\/strong><\/h2>\n\n\n\n
                  Causes:<\/strong><\/h3>\n\n\n\n
                    \n
                  • Hierarchical Flattening<\/strong>: Physical design removes hierarchies.<\/li>\n\n\n\n
                  • Renaming for DRC<\/strong>: Tools rename cells\/nets to avoid violations.<\/li>\n<\/ul>\n\n\n\n
                    Debug:<\/strong><\/h3>\n\n\n\n
                    # Use signature-based matching:\nset_compare -signature<\/code><\/pre>\n\n\n\n
                    \n\n\n\n
                    10. Missing or Incorrect Constraints<\/strong><\/h2>\n\n\n\n
                    Causes:<\/strong><\/h3>\n\n\n\n
                      \n
                    • Undefined Don\u2019t-Cares<\/strong>: Unconstrained signals optimized differently.<\/li>\n\n\n\n
                    • False Paths\/Multicycle Paths<\/strong>: Not synchronized between RTL and P&R.<\/li>\n<\/ul>\n\n\n\n
                      Fix:<\/strong><\/h3>\n\n\n\n
                      # Reapply constraints in Conformal:\nread_sdc -both pre_synth.sdc post_phys.sdc<\/code><\/pre>\n\n\n\n
                      \n\n\n\n
                      Debug Flow for LEC Failures<\/strong><\/h3>\n\n\n\n
                        \n
                      1. Isolate Failure Points<\/strong>:<\/li>\n<\/ol>\n\n\n\n
                           report_failing_points -summary<\/code><\/pre>\n\n\n\n
                          \n
                        1. Compare Hierarchies<\/strong>:<\/li>\n<\/ol>\n\n\n\n
                             report_design -compare<\/code><\/pre>\n\n\n\n
                            \n
                          1. Check Mapped\/Unmapped Logic<\/strong>:<\/li>\n<\/ol>\n\n\n\n
                               report_unmapped -verbose<\/code><\/pre>\n\n\n\n
                              \n
                            1. Verify Clock\/Reset Domains<\/strong>:<\/li>\n<\/ol>\n\n\n\n
                                 report_clock -all\n   report_reset -all<\/code><\/pre>\n\n\n\n
                              \n\n\n\n
                              Key Takeaways<\/strong><\/h3>\n\n\n\n
                              Issue Category<\/strong><\/th>Tool Command<\/strong><\/th>Solution<\/strong><\/th><\/tr><\/thead>
                              Clock Tree Changes<\/strong><\/td>set_ignore -cell CLK_*<\/code><\/td>Exclude CTS buffers.<\/td><\/tr>
                              Scan Chain Reorder<\/strong><\/td>report_scan_chain<\/code><\/td>Align DFT constraints.<\/td><\/tr>
                              Power-Aware Cells<\/strong><\/td>set_mapping -type level_shifter<\/code><\/td>Map UPF\/CPF cells.<\/td><\/tr>
                              ECO Mismatches<\/strong><\/td>compare_eco<\/code><\/td>Back-annotate ECOs.<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
                              <\/p>\n\n\n\n
                              \"\"<\/figure>\n","protected":false},"excerpt":{"rendered":"
                              Conformal LEC compares\u00a0RTL vs. Netlist\u00a0or\u00a0Pre-Post P&R Netlists\u00a0to ensure functional equivalence. This is how golden DFF vs. revised DFF looks after power optimization. Common Causes of Conformal LEC (Logic Equivalence Check) Failures in ASIC Physical Design Conformal LEC compares RTL vs. Netlist or Pre-Post P&R Netlists to ensure functional equivalence. Failures indicate mismatches\u2014here are the most […]<\/p>\n","protected":false},"author":2,"featured_media":26234,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"postBodyCss":"","postBodyMargin":[],"postBodyPadding":[],"postBodyBackground":{"backgroundType":"classic","gradient":""},"footnotes":""},"categories":[40],"tags":[68,64,69,67,63,47,65,66],"class_list":["post-26233","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-technology","tag-compare","tag-conformal","tag-equivalence","tag-golden","tag-lec","tag-low-power","tag-mismatch","tag-revised"],"_links":{"self":[{"href":"https:\/\/wattsemi.com\/index.php?rest_route=\/wp\/v2\/posts\/26233","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wattsemi.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wattsemi.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wattsemi.com\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/wattsemi.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=26233"}],"version-history":[{"count":1,"href":"https:\/\/wattsemi.com\/index.php?rest_route=\/wp\/v2\/posts\/26233\/revisions"}],"predecessor-version":[{"id":26236,"href":"https:\/\/wattsemi.com\/index.php?rest_route=\/wp\/v2\/posts\/26233\/revisions\/26236"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/wattsemi.com\/index.php?rest_route=\/wp\/v2\/media\/26234"}],"wp:attachment":[{"href":"https:\/\/wattsemi.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=26233"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wattsemi.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=26233"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wattsemi.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=26233"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}