ПОИСК Статьи Чертежи Таблицы • Специальные языки — в этом случае используются формальные языки, которые разработаны специально для максимально эффективного описания утверждений/свойств. Языки этого типа, к которым относятся Sugar, PSL и OVA, отличаются широкими возможностями при создании сложных регулярных и временных выражений, и с помощью очень компактного кода позволяют описывать сложные поведенческие алгоритмы. Эти языки часто используются для определения утверждений/свойств, которые располагаются в отдельных файлах и не входят в главное HDL-описание устройства. Файлы могут быть доступными в процессе компилирования, а также реализовываться в описательной форме. Кроме того, анализаторы кода, компиляторы и системы моделирования могут быть дополнены возможностями поддержки выражений, написанных на [Выходные данные]