Face facts: power supply nets are now effectively functional nets, but they are typically not defined in the design’s RTL….
