erc/check06.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
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
###############################################################################
# Copyright (c) 2012-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
#       Floating input, power and ground ports.
#
#       Algorithm
#           1. Find all sub-circuit pins in the loaded design.
#           2. Verify that no input pin is floating.
#           3. Verify that no power/ground pin is floating.
#           4. Add the pins that violate the above rules to the result list.
#
#       Example
#           demo/api/erc/testcase06.sp
###############################################################################


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

    ##
    # Loop over all modules in the loaded design.
    #
    zprogress push "" 1.0
    set mcount [$db count module]
    set m 0
    $db foreach module module {
        zmessage print DBG \
            "Process module [$db oid print $module]"

        zprogress push "" [expr {double([incr m]) / $mcount}]

        ##
        # Loop over all instances in the current module.
        #
        set icount [$db count inst $module]
        set i 0
        $db foreach inst $module inst {
            if {[zprogress update "" [incr i] $icount]} {
                break
            }

            ##
            # Skip all primitive device instances.
            #
            if {![$db isModule $inst]} {
                continue
            }

            ##
            # Loop over all pins of this instance.
            #
            $db foreach pin $inst pin {
                if {[$db directionOf $pin] == "output"} {
                    continue
                }

                ##
                # If the pin is not connected or only a floating net connects
                # then it is a result.
                #
                if {(![$db isConnected $pin]) ||
                    ([llength [$db get_pins [$db connectedNet $pin]]] == 1)} {
                    zmessage print DBG \
                        "      Found result: $pin"
                    lappend resList $pin
                }
            }
        }
        if {[zprogress pop]} {
            break
        }
    }
    if {[zprogress pop]} {
        return {}
    }

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