Analysis: different timing library data for cases where the same cell is used in different power domains .
Specification of isolation logic - what special logic is needed for signals that traverse between blocks that can be powered up and down independently.