Прагма

Широкий класс роботов приводится в движение с помощью двигателей постоянного тока. Примерами таких роботов могут служить промышленные манипуляционные роботы типа ТУР-2,5, ТУР-10, РПМ-25, Пума (Рита), Прагма (Pragma) и т. п., исследовательские роботы типа ЛПИ-2, УЭМ-5МВТУ, а также ряд транспортных роботов. [c.158]

Рис. 9.7. Адаптивный сборочный РТК на базе роботов Прагма>

В стандартной версии языка / ++ существует два способа расширения его функциональности. Первый из них заключается во включении в чистый / ++ код специальных комментариев, которые называют комментированными директивами или псевдокомментариями (прагмами). Эти комментарии распознаются и интерпретируются программами синтаксического анализа или парсерами, препроцессорами, компиляторами и другими средствами, а затем используются в процессе создания кода или изменения метода его построенияСущественным недостатком этого метода является тот факт, что системы моделирования, построенные на основе / ++, требуют использования собственных компиляторов. Это обстоятельство ограничивает набор применяемых для расширения опций, реализация которых возможно лишь в том случае, когда поставщики САПР электронных систем поддерживают стандарты расширения языка. [c.173]

Прагмы — сокращение словосочетания прагматическая информация , относится к специальным директивам в виде псевдокомментариев, которые могут интерпретироваться и использоваться различными анализаторами, компиляторами и другими средствами. (Это универсальный термин, и прагма-методы широко используются не только при формальной верификации.) [c.266]

Модели, написанные на HDL и вызываемые из HDL — эта концепция основана на доступе к библиотекам внутренних и внешних моделей. Эти модели представляют собой утверждения/свойства, использующие стандартные выражения языка HDL, и могут быть представлены в устройстве как любые другие блоки. Однако эти блоки будут свернуты прагмами синтеза вида Вкл/Выкл , чтобы быть уверенным, что они не будут реализованы физически. Хорошим примером этого метода может служить открытая библиотека средств проверки (OVL), разработанная компанией A ellera (www.a ellera.org). [c.267]

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

Последовательные идентичные цифры 284 Постоянное запоминающее устройство 28 Поток конфигурационный двоичный 93 Пошаговое проектирование 216 Поэтапные размещение и разводка 162 ППЗУ 29 Прагма 173, 266 Прием данных 224 Принципиальная схема 120 Проверка временных параметров 120 Проверка на эквивалентность 263 [c.404]

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

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