Уважаемые партнеры! Приглашаем принять участие в маркетинговой акции «Вкусные условия». Участвующие бренды: Vitek, Hyundai, Rondell, Starwind. Фокусные продукты: вафельницы, тостеры, сэндвичницы, хлебопечи, кофемашины, электрические турки, капельные и рожковые кофеварки. Период действия акции: с ...
Уважаемые партнеры! Приглашаем вас принять участие в промопрограмме на всю линейку продукции Patriot. Закупая оборудование Patriot, вы накапливаете бонусы. По итогам акции накопленные бонусы выдаются в виде подарочных сертификатов различных розничных сетей по вашему выбору
Получите кешбэк 5% на закупку новых моделей мини-ПК CBR до 15 декабря^ Артикул 11039713 CBR DT-001 Артикул 11039714 CBR DT-002 Артикул 11111883 CBR DT-007 Артикул 11113650 CBR DT-008 В течение 10 дней после отгрузки заполните форму регистрации, указав свои данные: ФИО, код клиента, должность ...
На прошедшей в июне в Москве конференции 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 ... читать далее.
