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.
19. The computer-implemented method of claim 18 , wherein a power state of a port is based on valid voltage levels for the port specified in the low power design specification.