Точнее даже не совсем так, просто проверялся факт того, что STA проводился на основе NLDM delay/transition данных, в надежде что это не так:) Надежды не подтвердились. Величины задержек в рапорте PrimeTime очень хорошо коррелируют с результатами ручного пересчета на основе NLDM таблиц (до 6-ого знака). Но, как уже говорил, похоже, что в качестве Receiver models была использована именно CCS Timing Receiver models, так как величины входных емкостей ячеек в рапорте PrimeTime не соответствовали величинам прописанным в библиотеке для каждого пина (rise_capacitance/fall_capacitance). STA проводился без дополнительных паразитных элементов между ячейками.