Уважаемые партнеры! Приглашаем вас принять участие в маркетинговой акции Yealink «Бонус на связи!». Период действия акции: 01 декабря 2025 г. – 31 декабря 2025 г. – За закупку IP-телефонов и гарнитур Yealink вам будут начисляться бонусы. – Для каждой модели предусмотрен ...
Уважаемые партнеры! Treolan предлагает вам принять участие в программе по продукции Netac. Совершая покупку продукции Netac в Treolan, вы можете получить подарочные сертификаты федеральных сетей на ваш выбор. Для участия в программе необходимо зарегистрироваться
Предновогодняя распродажа Datalogic стартовала! Специальное предложение до конца 2025 года — на ручные и стационарные сканеры Datalogic действуют эксклюзивные цены! Прямо сейчас к оперативной отгрузке со склада PROWAY доступны: Ручной беспроводной сканер Datalogic QuickScan QBT2500-BK-BTK1 Данная ...
Получите кешбэк 5% на закупку новых моделей корпусов CBR до 8 декабря: CBR V201 — 260 x 165 x 353 мм, 2×HDD + 2×SSD, видеокарта до 250 мм, 2×USB 2.0; CBR V203 — 260 x 165 x 353 мм, 2×HDD + 2×SSD, видеокарта до 250 мм, USB 2.0, USB 3.0; CBR V205 — 260 x 165 x ...
Уважаемые партнеры! Приглашаем вас принять участие в промопрограмме по продукции НИИ «Масштаб». Покупая хотя бы одну лицензию виртуализации, а также любые другие решения НИИ Масштаб в Treolan, вы получаете подарочный сертификат на ваш выбор. Для участия в программе необходимо зарегистрироваться
На прошедшей в июне в Москве конференции EDA Tech Forum компания Mentor Graphics, входящая наряду с Cadence Design Systems и Synopsys в первую тройку мировых поставщиков (см. PC Week/RE, № 3/2008) решений класса EDA (Electronic Design Automation), представила российским разработчикам микросхем ряд своих новых продуктов, предназначенных для автоматизации проектирования полупроводниковых компонентов, верификации проектов и тестирования готовых кристаллов. По заявлению представителей Mentor Graphics, её разработчики предложили принципиально новые методы верификации цифровых систем, которые применимы к проектам на любом уровне абстракции их описания. В результате была создана новая платформа верификации, ядром которой стало ПО Questa. Сохраняя возможность традиционного HDL-кодирования (Hardware Description Language) неавтоматизированными методами, Questa позволяет моделировать ассерты (assertions), обнаруживающие ошибки непосредственно в месте их возникновения и позволяющие пользователю быстро определить истинную их причину, включает средства анализа и отладки, обеспечивает использование произвольных тестов с ограничениями (constrained-random testing) и управление процессом верификации с помощью критериев оценки полноты покрытия, предоставляет возможность моделирования на одном ядре иерархических блоков на разном уровне абстракции (включая TLM-уровень, Transaction Level Modeling, моделирование на уровне транзакций), а также поддерживает технологию MVC (Multi-View Verification ... читать далее.
