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
111
112
113
114
115
116
117
118
119
120
121
122
123 | ###############################################################################
# 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 for wrong bulk connections.
#
# Algorithm
# 1. Identify all MOS devices in the design.
# 2. Check if the bulk pin of a PMOS device is connected to power.
# 3. Check if the bulk pin of a NMOS device is connected to ground.
# 4. Add the devices that violate the above rule to the result list.
#
# Example
# demo/api/erc/testcase03.sp
###############################################################################
# =============================================================================
# Check03 -
# =============================================================================
#
proc ERC:Check03 {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
}
##
# Set expected net flags depending on the primitive function.
#
set _expected(NMOS) "ground"
set _expected(PMOS) "power"
##
# 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 bulk pin for wrong connections.
#
set bulkPin [$db getFuncPort $inst -name bulk]
zmessage print DBG \
" Process bulk pin [$db oid print $bulkPin]"
##
# Set the flag expected at the net connected to the bulk pin.
#
set flag $_expected([$db primFuncOf $inst])
zmessage print DBG \
" Expect a '$flag' net at the bulk pin of this instance."
##
# Check if the bulk pin is not connected to a power/ground node
# identified by the given flag.
#
if {![ERC:IsConnectedToPG $db $bulkPin $flag]} {
zmessage print DBG \
" Found result: $bulkPin"
lappend resList $bulkPin
}
}
if {[zprogress pop]} {
break
}
}
if {[zprogress pop]} {
return {}
}
##
# Return the calculated result.
#
return $resList
}
|