Such circuits typically exist in a single power domain and are easily modeled as a mixture of combinatorial and sequential logic. I/O and mixed-signal circuits, by contrast, present a significantly ...