They also have Library Variation Manager that does characteration of 100's of cells for you. For example, 28nm FDSOI, 40 cells, 100 corners, Monte Carlo at each corner, 100's of measures, took 173 mins using brute force MC and only 19 mins on Library Variation Manager. ST Micro, ...