A method of adding power control circuitry to a circuit design at each of
an RTL and a netlist level comprising: demarcating multiple power domains
within the circuit design; specifying multiple power modes each power
mode corresponding to a different combination of on/off states of the
multiple demarcated power domains; and defining isolation behavior
relative to respective power domains.