Statistics for Посттопологическое автоматизированное логическое моделирование цифровых больших интегральных схем / Թվային մեծ ինտեգրալ սխեմաների հետտոպոլոգիական ավտոմատացված տրամաբանական մոդելավորում