Signal and power aware design and verification tools