Text this: Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах