oClean Sanity Checks: The netlist must pass all critical sanity checks:
No fatal errors in check_design / check_netlist (no multi-driven nets, no floating inputs on critical paths, correct connectivity).
No unresolved references (check_library passes, all cells have lib/lef).
No critical errors in check_timing (all clocks defined, critical paths constrained, no unconstrained registers intended to be clocked). Minor unconstrained paths might be acceptable if understood and deemed non-critical or intended false paths.
