As manufacturing technology moves toward fundamental limits of silicon CMOS processing, it is increasingly important to utilize the full potential of available transistors and interconnects. While manufacturing technology faces fundamental limits inherent in physical laws or material properties, design and verification technology faces fundamental limitations inherent in the computational intractability...