Maximo Balestrini
01/11/2022, 10:31 PMreport_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?