Сегодня, в субботу 26 февраля, на Сколковской Школе Синтеза Цифровых Схем Михаил Коробков проводит занятие по технологиям функциональной верификации: constrain solvers, cover bins и concurrent assertions. Примеры, которые мы подготовили для школы, вращаются вокруг протокола AXI для систем на кристалле, вопросы про который спрашивают например на интервью в хардверное отделение компании Meta и другие.
Рубрика «simulation»
Темное искусство функциональной верификации цифровых микросхем
2022-02-26 в 8:26, admin, рубрики: asic, constraint programming, fpga, functional coverage, simulation, SystemVerilog, verification, Verilog, Алгоритмы, Анализ и проектирование систем, верификация микросхем, математика, Производство и разработка электроники, темпоральная логикаМохнатики захватывают рынок игровой индустрии! Peregrine Labs объявили о коллаборации с Epic Games
2019-12-20 в 16:05, admin, рубрики: 3d graphics, 3d графика и анимация, cgi, CGI (графика), Gamedev, grooming, hair, simulation, UE4, Unreal Engine, Unreal Engine 4, Yeti, Блог компании ua-hosting.company, Дизайн игр, Работа с 3D-графикойНе одними волосами едины. Теперь перьевые персонажи доступны не только в синематеках! Да-да, не плашки, а натуральные динамические перья! 26 ноября 2019 года на официальном сайте Peregrine Labs объявили о том, что их продукт, плагин Yeti версии 3.5.4, состоит в официальных “отношениях” с Unreal Engine версии 4.24.
Что нового в SOLIDWORKS 2020
2019-11-21 в 17:51, admin, рубрики: 3d, 3d проектирование, 3d-моделирование, CAD/CAM, cam, dassault systemes, simulation, solidworks, solidworks 2020, Анализ и проектирование систем, Блог компании DassaultSystèmes, Работа с 3D-графикой
Более чем шести миллионам пользователей по всему миру SOLIDWORKS позволяет ускорить и усовершенствовать процесс разработки изделий – начиная со стадии концептуального дизайна до изготовления конечной продукции – и сгенерировать добавленную стоимость для их бизнеса. Рассмотрим подробнее SOLIDWORKS 2020 — новейшую версию пакета приложений для 3D-дизайна и проектирования, разработанную научно-исследовательским подразделением Dassault Systèmes на основе комментариев и идей об усовершенствовании, собранных у сообщества SOLIDWORKS по всему миру.
Итак, SOLIDWORKS 2020 помогает оптимизировать процесс разработки и производства промышленных изделий на всех стадиях. В новой версии улучшения сосредоточились в основном в трех областях:
Повышение производительности. Усовершенствованные функции редактирования чертежей, работы со сборками, выполнения инженерных расчетов — все они значительно ускоряют проектирование и анализ изделий любой сложности.
Оптимизация процессов. Благодаря расширенным возможностям проектирования, расчетов, управления инженерными данными и подготовки производства сокращается цикл разработки, повышается качество продукции и снижается ее себестоимость.
Согласованная работа в облаке. К SOLIDWORKS 2020 можно без труда подключать приложения, работающие на платформе 3DEXPERIENCE. Это дает возможность контролировать многие аспекты разработки изделий, подготовки производства и поставки продукции, причем в любой момент времени.Читать полностью »
ВМС США тестириует применение AR-очков Magic Leap One для обучения личного состава
2019-08-07 в 13:15, admin, рубрики: AR, AR и VR, army, Magic Leap, Magic Leap One, simulation, trainingНесмотря на действующий контракт Microsoft с армией США, предполагающий разработку модификации очков HoloLens для использования солдатами в бою, о котором уже писали на Хабре, ВМС США объявили о том, что тестирует применение в бою очков Magic Leap One.
Читать полностью »
RAM with Simple direct-mapped cache simulation on FPGA in Verilog
2018-12-06 в 14:11, admin, рубрики: cache, fpga, fpga дизайн, ram, simulation, testbench, VerilogSimple direct-mapped cache simulation on FPGA
This article is a part of a course work for first year bachelor students of Innopolis University. All work is done in a team. The purpose of this article is to show an understanding of the topic, or to help to understand it using simulation.
Principle of work but from the user side should look like:
- To write any data in memory, you need to access the RAM with data and address in which we want to write.
- To access the data, we have to adress to cache. If the cache cannot find the necessary data, then it accesses the RAM by copying data from there.
When working with Verilog, it should be understood that each individual block of the program is represented as a module. As you know, the cache is not an independent part of fast memory, and for its proper operation it needs to take data from another memory block — RAM. Therefore, in order to simulate the work of the cache at the FPGA, we have to simulate whole RAM module which includes cache as well, but the main point is cache simulation.
The implementation consists of such modules:
- ram.v — RAM memory module
- cache.v — Cache memory module
- cache_and_ram.v — module that operates with data and memory.
- testbench.v and testbench2.v — module to show that main modules work perfectly.
DDR SDRAM – особенности проектирования и обеспечения целостности сигнала
2018-10-05 в 13:58, admin, рубрики: CAD/CAM, DDR, HyperLynx, mentor graphics, Signal integrity, simulation, Анализ и проектирование систем, Блог компании Нанософт, Производство и разработка электроники, целостность сигнала
Проектирование электронных устройств с применением быстрых модулей оперативной памяти DDR SDRAM требует особого внимания к проблеме целостности сигнала. В статье рассказывается о современном инструменте моделирования для решения такого рода задач.
Читать полностью »
PsRealVehicle, или Open Source-плагин физики танков в Armored Warfare: Assault
2018-09-21 в 12:36, admin, рубрики: network, open source, physics, physics engine, plugin, simulation, tanks, UE4, Unreal Engine, Unreal Engine 4, vehicle, Блог компании Mail.Ru Group, плагин, разработка игр, сеть, симуляция физики, физика
Пару лет назад нашей команде выпала честь заняться созданием мобильной «Арматы». Придерживаясь правила «делаем игру, а не технологию», прототип мы создавали на том, что уже есть в движке. Это был UE 4.9, в основе физической модели — PhysX Vehicles, и много боли (как по поводу, так и без).
В дальнейшем наша команда создала open source-плагин PsRealVehicle, доступный по MIT лицензии. Этот плагин заточен под физику танков и колесных машинок для высоконагруженных сетевых шутеров, и его работу вы в любой момент можете наблюдать в нашем проекте Armored Warfare: Assault.
LLTR Часть 1: Первые шаги в OMNeT++ и INET
2018-08-16 в 2:44, admin, рубрики: async, bag-animation, broadcast, c++, channel utilization, distributed computing, eclipse, eclipse cdt, ethernet, Git, INET Framework, IP-адрес, LLTR, Mesh-сети, model, net bitrate, OMNeT++, qt, queuing, simulation, tcl, tcl/tk, tcp, throughput, tk, udp, x64dbg, асинхронное программирование, асинхронность, жучки-пакетики, Какие еще добавить теги?, каналы, маска подсети, моделирование, протокол, реверс-инжиниринг, Сетевые технологии, симуляция, системное программирование, Хакерская ценностьOMNeT++ (Objective Modular Network Testbed in C++) Discrete Event Simulator – это модульная, компонентно‑ориентированная C++ библиотека и фреймворк для дискретно‑событийного моделирования, используемая прежде всего для создания симуляторов сетей. Попросту говоря это “симулятор дискретных событий”, включающий: IDE для создания моделей, и сам симулятор (GUI).
INET Framework – “библиотека” сетевых моделей для OMNeT++.
В предыдущих частях…
0. Автоматическое определение топологии сети и неуправляемые коммутаторы. Миссия невыполнима? (+ classic Habrahabr UserCSS)
В этой части:
- создадим “свой первый” протокол (на примере LLTR Basic);
- выберем подходящий симулятор сити для отладки протокола (и создания его модели);
- познаем тонкости настройки окружения для симулятора и его IDE (конфигурирование, компиляция, линковка, тюнинг, патчинг, игнорирование устаревшей документации; и другие англицизмы в большом количестве);
- столкнемся со всем, с чем можно столкнуться, при создании своей первой модели своего первого протокола в
не своемнезнакомом симуляторе сети; - пройдем весь путь вместе:
- от счастья, принесенного успешной (наконец!) компиляции первого проекта с пустой сетью,
- до полного погружения в эксперименты с функционирующей моделью протокола;
- tutorial, все описано в виде tutorial – мы будем учиться на ошибках – будем совершать их, и будем понимать их (природу), дабы элегантно/эффективно с ними справится;
- репозиторий (git
), в коммитах и тегах которого сохранены все шаги (“Add …”, “Fix …”, “Fix …”, “Modify …”, “Correct …”, …), от начала и до конца.
Note: дополнительная информация для читателей хаба “Mesh-сети”.
{ объем изображений: 2.2+(2.1) MiB; текста: 484 KiB; смайликов: 22 шт. }
Ещё раз о задержках в исходном коде проекта FPGA или простой вопрос для собеседования на вакансию разработчика FPGA
2018-08-10 в 22:30, admin, рубрики: fpga, simulation, Verilog, vhdl
Некоторое время назад при обсуждении в компании профессиональных разработчиков FPGA возникла дискуссия о прохождении собеседования. Какие вопросы там задают, и что можно было бы задать. Я предложил два вопроса:
- Приведите пример синхронного кода без использования задержек, который даст разные результаты при моделировании и при работе в реальной аппаратуре
- Исправьте этот код при помощи задержек.
После этого вопроса завязалась оживлённая дискуссия, в результате которой я решил более подробно рассмотреть этот вопрос.
Читать полностью »
Отрицательный отбор кадров в иерархической структуре предприятия
2018-03-16 в 6:33, admin, рубрики: maxilect_expertise, model, simulation, Блог компании Maxilect, математика, структура компании, управление людьми, управление персоналом, Управление сообществомВступление
Все мы прекрасно знаем, как важен подбор персонала в организации. Но зачастую у нас достаточно смутные представления о том, как именно структура организации влияет на эффективность работы этого персонала. Или, например, как распределение сотрудников с различными параметрами в штатном расписании влияет на эффективность работы.
Когда этот вопрос поднимается, это обычно какие-то общие слова, эвристики из скучных учебников с качественными описаниями, вроде того, что иерархическая структура выдвигает вперед и мотивирует нарциссов, которые больше заинтересованы в собственном продвижении, а не благоденствии предприятия.
Оказывается, некоторые аспекты этого вопроса достаточно легко математически промоделировать, что может открывать возможности к новым вариантам управления компаниями. В условиях достаточно простых предположений о свойствах персонала огромное количество важных и интересных свойств вылезают наружу сами по себе, просто при задании структуры организации. А дальше вопрос может ставиться так — А есть ли возможность использовать это на благо организации?
