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
102
103
104
105
106
107
108
109
110 | ###############################################################################
# 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
# Check that the gate pin of a MOSFET device is not connected to a power
# or ground node.
#
# Algorithm
# 1. Identify all MOS devices in the design.
# 2. Check if the gate pin is connected to a power or ground node.
# 3. Add the devices that violate the above rule to the result list.
#
# Example
# demo/api/erc/testcase01.sp
###############################################################################
# =============================================================================
# Check01 -
# =============================================================================
#
proc ERC:Check01 {db} {
##
# Initialize the result list.
#
set resList {}
##
# Flag devices in the loaded database.
#
zprogress push "" 0.05
ERC:FlagDevices $db {"NMOS" "PMOS"}
if {[zprogress pop]} {
return
}
##
# 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 instances where the cell referenced by the instance
# has the green flag not set.
#
if {![$db flag [$db down $inst] is green]} {
continue
}
zmessage print DBG \
" Process instance [$db oid print $inst]"
##
# Investigate only the gate pin for connections to power or ground.
#
set gatePin [$db getFuncPort $inst -name gate]
zmessage print DBG \
" Process gate pin [$db oid print $gatePin]"
##
# If the gate pin is connected to power or ground then add the
# gate pin to the result list.
#
if {[ERC:IsConnectedToPG $db $gatePin {}]} {
zmessage print DBG \
" Found result: $gatePin"
lappend resList $gatePin
}
}
if {[zprogress pop]} {
break
}
}
if {[zprogress pop]} {
return {}
}
##
# Return the calculated result.
#
return $resList
}
|