@Tobias Strauch Thanks! I think it worked. I even got a number that is plausible for the delay. 🙂. My script was:

read_liberty example1_slow.lib
read_verilog example1.v
link_design top
read_sdf example1.sdf
read_spef example1.spef
report_checks -unconstrained -format end -through {X1/Y} -to {X1/A}

Does that seems like a reasonable way to do it? @Vijayan Krishnan I’ll try to make a small test case that demonstrates the report_annotated_delay issue.

Just out of curiosity, so -to and -from can refer to internal nets as well and OpenSTA is capable of generating a timing report of an internal (asynchronous) path section (with realistic driving and loading cells) ? That would be good to know.