15 lines
565 B
Tcl
15 lines
565 B
Tcl
# Test for Levelize::levelizedDrvrVertices() API.
|
|
# Verifies:
|
|
# 1. Returns driver vertices in non-decreasing level order
|
|
# 2. All returned vertices are drivers
|
|
source helpers.tcl
|
|
read_liberty asap7/asap7sc7p5t_INVBUF_RVT_TT_nldm_220122.lib.gz
|
|
read_liberty asap7/asap7sc7p5t_INVBUF_LVT_TT_nldm_220122.lib.gz
|
|
read_liberty asap7/asap7sc7p5t_INVBUF_SLVT_TT_nldm_220122.lib.gz
|
|
read_verilog gcd_asap7.v
|
|
link_design gcd
|
|
create_clock -name clk -period 500 {clk}
|
|
|
|
# Report first 100 driver vertices in level order and total count
|
|
sta::report_levelized_drvr_vertices 100
|