Специальные языки, Sugar

Состояние временного соответствия 141 Специализированные языки 189 Специальные цепи отладки 227 Специальные языки формальной верификации 266 Специальные языки, OVA 266, 269 Специальные языки, PSL 266, 269 Специальные языки, Sugar 266, 269 [c.405]

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

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...