erc/check14.tcl

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
###############################################################################
# Copyright (c) 2022-2024 by Altair Engineering, Inc.
# All rights reserved.
#
# Altair Engineering, Inc. makes this software available as part of the Vision
# tool platform.  As long as you are a licensee of the Vision tool platform
# you may make copies of the software and modify it to be used within the
# Vision tool platform, but you must include all of this notice on any copy.
# Redistribution without written permission to any third party, with or
# without modification, is not permitted.
# Altair Engineering, Inc. does not warrant that this software is error free
# or fit for any purpose.  Altair Engineering, Inc. disclaims any liability for
# all claims, expenses, losses, damages and costs any user may incur as a
# result of using, copying or modifying the software.
# =============================================================================
#   @script
#       Analyze the Power Connectivity.
#
#       Algorithm
#           1. Identify all power supply nets in a module.
#           2. Check if the power net connects to an interface port.
#           3. Find all connected pins down the hierarchy.
#
###############################################################################


# =============================================================================
# Check14 -
# =============================================================================
#
proc ERC:Check14 {db} {
    ##
    # Initialize the result list.
    #
    set resList {}

    ##
    # Analyze the Power Connectivity.
    #
    zprogress push "Analyze Power Connectivity" 1.0
    set moduleCount 0
    set m 0
    $db foreach module module {
        incr moduleCount
    }
    $db foreach module module {
        if {[zprogress update "" [incr m] $moduleCount]} {
            break
        }
        $db foreach net $module net {
            if {![$db flag $net is power]} {
                continue
            }
            set port [$db search port $module [$db oid oname $net]]
            if {[$db oid isnull $port]} {
                set treeNet [$db oid searchTreeBased $net]
                $db flathilight $treeNet set 0
                lappend resList $treeNet
                $db flat foreach pin $treeNet pin {
                    if {[$db flag $pin is hide]} {
                        continue
                    }
                    lappend resList $pin
                }
            }
        }
    }
    if {[zprogress pop]} {
        return
    }

    ##
    # Return the calculated result.
    #
    return $resList
}