Also surprisingly capable at generating sample timing libs for arbitrary circuit topologies and calculating min and max delays after a little bit of guidance.