Приведена архитектура "Hard&Soft верификатора" временных мультипараллельных аппаратно - программных средств. Использовались следующие исходные данные: Си - программа и граф задачи, семантико-числовая спецификация Си - программы, временная (мульти)параллельная модель задачи, различные методы параллельной обработки данных, спецификация единиц размерности, длительности выполнения операций/функций. Состав поддерживаемых методов верификации: компиляционная верификация, декомпиляционная верификация, семантическая верификация. Отмечено, что представленную архитектуру Hard&Soft -верификатора можно рассматривать как основу создания инструментальных средств автоматического контроля достоверности и визуализации результатов самоорганизации архитектуры Адаптивной Самоорганизующейся Вычислительной Системы (АСВС). Ключевые слова: Адаптивная Самоорганизующаяся Вычислительная Система (АСВС), Система Автоматизированного Проектирования цифровых устройств (САПР), Система Автоматизации Параллельного Программирования (САПП), Си - граф задачи, структуры семантико - числовой спецификации (СЧС), верификация, временные параллельные аппаратно-программные средства.
