18. The computer-implemented method of claim 17 , wherein a state constraint comprises a logical-and of port constraints, each port constraint representing valid power states of ports of the power domain specified in the low power design specification.
17. The computer-implemented method of claim 16 , wherein each individual constraint comprises a logical-or of state constraints, each state constraint representing a valid power state of a power domain based on the low power design specification.