Специальные языки формальной верификации

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

Прямое кодирование — представление каждого состояния конечного автомата с помощью индивидуальной переменной состояния в каждый конкретный момент времени активной может быть только одна такая переменная состояния. Псевдокомментарий (прагма) — специальный комментарий, употребляемый в исходном коде языка С/С++ или HDL, который может быть интерпретирован трансляторами, компиляторами и другими средствами. Также псевдокомментарии используются различными средствами формальной верификации. [c.391]

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

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