Circuit checks enable you to analyze typical design problems, such as high impedance nodes, leakage paths between power supplies, timing errors, power issues, connectivity problems, or extreme rise and fall times. They can be separated into dynamic and static checks. Dynamic checks are performed during transient analysis. Static checks are topology checks which do not require any simulation.

Take more look at the following blog.

https://community.cadence.com/cadence_blogs_8/b/cic/posts/spectre-tech-tips-spectre-high-impedance-node-check-overview#

감사합니다.