@User I have a question about the expected functionality of openSTA

report_checks

in this case:

% report_checks -path_delay min -format summary -slack_max 0  -through mprj/wrapped_hack_soc_dffram_9
No paths found.

% report_checks -path_delay min -format summary -slack_max 0  -through mprj/wrapped_hack_soc_dffram_9/*
Startpoint                           Endpoint                               Slack
--------------------------------------------------------------------------------
mprj/wrapped_hack_soc_dffram_9/_6031_/Q (sky130_fd_sc_hd__dfxtp_1) mprj/wrapped_hack_soc_dffram_9/soc.spi_video_ram_1.write_fifo.dffrf/REGF[5].RFW.BIT[3].FF/D (sky130_fd_sc_hd__dfxtp_1)   -0.58

Here

wrapped_hack_soc_dffram_9

is a module in the hierarchy loaded with read_verilog and read_spef -path

soc.spi_video_ram_1.write_fifo.dffrf

is a submodule of wrapped_hack_soc_dffram_9, again with its own .v and .spef It seems report_checks first call only return results from cells defined inside it, but not from submodules defined in other files. Is that ok?