120 lines
3.6 KiB
Tcl
120 lines
3.6 KiB
Tcl
# OpenSTA, Static Timing Analyzer
|
|
# Copyright (c) 2025, Parallax Software, Inc.
|
|
#
|
|
# This program is free software: you can redistribute it and/or modify
|
|
# it under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation, either version 3 of the License, or
|
|
# (at your option) any later version.
|
|
#
|
|
# This program is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with this program. If not, see <https://www.gnu.org/licenses/>.
|
|
#
|
|
# The origin of this software must not be misrepresented; you must not
|
|
# claim that you wrote the original software.
|
|
#
|
|
# Altered source versions must be plainly marked as such, and must not be
|
|
# misrepresented as being the original software.
|
|
#
|
|
# This notice may not be removed or altered from any source distribution.
|
|
|
|
# Liberty commands.
|
|
|
|
namespace eval sta {
|
|
|
|
define_cmd_args "read_liberty" \
|
|
{[-corner corner] [-min] [-max] [-infer_latches] filename}
|
|
|
|
proc_redirect read_liberty {
|
|
parse_key_args "read_liberty" args keys {-corner} \
|
|
flags {-min -max -infer_latches}
|
|
check_argc_eq1 "read_liberty" $args
|
|
|
|
set filename [file nativename [lindex $args 0]]
|
|
set corner [parse_corner keys]
|
|
set min_max [parse_min_max_all_flags flags]
|
|
set infer_latches [info exists flags(-infer_latches)]
|
|
read_liberty_cmd $filename $corner $min_max $infer_latches
|
|
}
|
|
|
|
# for regression testing
|
|
proc write_liberty { args } {
|
|
check_argc_eq2 "write_liberty" $args
|
|
|
|
set library [get_liberty_error "library" [lindex $args 0]]
|
|
set filename [file nativename [lindex $args 1]]
|
|
write_liberty_cmd $library $filename
|
|
}
|
|
|
|
################################################################
|
|
|
|
define_cmd_args "report_lib_cell" {cell_name [> filename] [>> filename]}
|
|
|
|
proc_redirect report_lib_cell {
|
|
check_argc_eq1 "report_lib_cell" $args
|
|
set arg [lindex $args 0]
|
|
set cell [get_lib_cell_warn "lib_cell" $arg]
|
|
set corner [cmd_corner]
|
|
if { $cell != "NULL" } {
|
|
report_lib_cell_ $cell $corner
|
|
}
|
|
}
|
|
|
|
proc report_lib_cell_ { cell corner } {
|
|
global sta_report_default_digits
|
|
|
|
set lib [$cell liberty_library]
|
|
report_line "Cell [get_name $cell]"
|
|
report_line "Library [get_name $lib]"
|
|
set filename [liberty_cell_property $cell "filename"]
|
|
if { $filename != "" } {
|
|
report_line "File $filename"
|
|
}
|
|
set iter [$cell liberty_port_iterator]
|
|
while {[$iter has_next]} {
|
|
set port [$iter next]
|
|
if { [$port is_bus] || [$port is_bundle] } {
|
|
report_lib_port $port $corner
|
|
set member_iter [$port member_iterator]
|
|
while { [$member_iter has_next] } {
|
|
set port [$member_iter next]
|
|
report_lib_port $port $corner
|
|
}
|
|
$member_iter finish
|
|
} elseif { ![$port is_bundle_member] && ![$port is_bus_bit] } {
|
|
report_lib_port $port $corner
|
|
}
|
|
}
|
|
$iter finish
|
|
}
|
|
|
|
proc report_lib_port { port corner } {
|
|
global sta_report_default_digits
|
|
|
|
if { [$port is_bus] } {
|
|
set port_name [$port bus_name]
|
|
} else {
|
|
set port_name [get_name $port]
|
|
}
|
|
set indent ""
|
|
if { [$port is_bundle_member] || [$port is_bus_bit] } {
|
|
set indent " "
|
|
}
|
|
set enable [$port tristate_enable]
|
|
if { $enable != "" } {
|
|
set enable " enable=$enable"
|
|
}
|
|
set func [$port function]
|
|
if { $func != "" } {
|
|
set func " function=$func"
|
|
}
|
|
report_line " ${indent}$port_name [liberty_port_direction $port]$enable$func[port_capacitance_str $port $corner $sta_report_default_digits]"
|
|
}
|
|
|
|
# sta namespace end
|
|
}
|