Beruflich Dokumente
Kultur Dokumente
SNUG 2017 1
Agenda
SNUG 2017 3
Low Power Implementation Challenges
SNUG 2017 4
Formal Verification failures
SNUG 2017 5
Resolution for Formal Verification failures
• Changed the UPF policy for RM1 pin of memories to change clamp value from
0 to 1
SNUG 2017 6
Main Rail Violation
SNUG 2017 7
Need of creating Voltage Areas
• In the case where dual rail isolation cells are inserted ICC2 can place those
cells anywhere as SCMR VDD is connected to VDD_PD2 (switchable supply).
• Not honoring “Main Rail Rule” creates placement restriction in ICC2
• Need to create voltage areas/bounds in ICC2 which is cumbersome.
SNUG 2017 8
Dual Rail Isolation cells
SNUG 2017 9
Dual Rail Isolation cells….
• DC & ICC2 was adding AON buffers on A pin of dual rail isolation cells
• So large number of AON buffers got inserted in netlist which were actually not
required.
• The library was manually hacked to map the A pin to VDD and not VDDR
SNUG 2017 10
Formal Verification failures at chip top
• .
SNUG 2017 12
Formal Verification failures at chip top
SNUG 2017 13
Challenges in Hierarchical Implementation
SNUG 2017 14
Unconnected pins in ETM models
SNUG 2017 15
Reason for MV-013 errors
SNUG 2017 16
Resolution for MV-013 errors
SNUG 2017 17
ETM models with power switches
SNUG 2017 18
UPF-119 errors in DC
• While doing synthesis at top level using block level ETMs with power switches
got UPF-119 errors
• Though internal pin VDD_PD2 was present it was missing the required attribute
of output of power switch
SNUG 2017 19
Resolution for UPF-119 errors
• The ETM model was hacked to add missing attributes shown below
• STAR filed with Synopsys for PT enhancement so that above hacking is not
required in future
SNUG 2017 20
DFT challenges in low power implementation
SNUG 2017 21
Design Challenges
• The channels between some of the switchable and always-on domains were
very narrow and the most congested regions in physical design
• Using traditional scan insertion approach there were many scan signals
crossing power domains causing large number of low power cells (ISO+LS)
getting used
SNUG 2017 23
Optimized Solution
• Optimized UPF aware strategy was used by placing separate scan compressor
within big power domains.
• It reducing the scan signals crossing power domains and the number of low
power cells (ISO+LS) were significantly reduced
SNUG 2017 24
Configuring Low Power Modes of IPs
SNUG 2017 25
Memory low power mode configuration
SNUG 2017 26
Classification of Memories
Less AON memories (PD2)
Switchable memories (PD3)
AON memories (PD1)
SNUG 2017 27
Implementation of PD2 memories
• AON power library was only having NAND & NOR gates.
• RTL was modified to hard code the instantation of AON NAND cells using which
MUX was designed
• In physical design there was no need of creating many disjoint voltage areas
• Still working with Synopsys to come with better solution and not hard code the
AON cells directly in RTL
SNUG 2017 29
Conclusion
SNUG 2016 30
Conclusion
• Using dual rail low power cells having backup rail is always better option than
single rail low power cells
• All the combination of Formality runs with and without UPF should be done in
order to perform exhaustive check
SNUG 2017 32