russian
Вычислительная булева алгебра: расширение Шеннона, SAT
TL;DR 1. Проблема: когда карта Карнауха ломается 1.1 40 переменных, карта Карнауха заканчивается 1.2 3 вещи, о которых эта статья 2. Кофактор Шеннона:...
russian
![[VLSI CAD] kbdd - MiniSAT - Espresso - SIS?](https://images.unsplash.com/photo-1569605803663-e9337d901ff9?crop=entropy&cs=tinysrgb&fit=max&fm=jpg&ixid=M3wxMTc3M3wwfDF8c2VhcmNofDF8fGJpbmFyeSUyMHxlbnwwfHx8fDE3NzI5NzUzNzN8MA&ixlib=rb-4.1.0&q=80&w=600)
russian
[VLSI CAD] kbdd - MiniSAT - Espresso - SIS?
Когда вы посещаете занятия по EDA или VLSI CAD, вам неожиданно представляют такие инструменты: Поначалу все они кажутся похожими: "Разве это не все о...
russian
О старении полупроводников - BTI/HCI, SPICE-моделирование старения
Полупроводники тоже стареют Современные полупроводниковые устройства подвергаются своеобразному "старению" , когда их производительность медленно...
russian
FPGA против ASIC: внутренняя структура, различия и будущее отрасли
Давайте глубоко погрузимся во внутреннюю работу ПЛИС и ASIC, изучим плюсы, минусы и бизнес-последствия обеих технологий: Мы начнем с уровней абстракции в...
russian
Время установления и время удержания - Освоение основ тайминга в СБИС
Время установки и время удержания - два наиболее важных временных ограничения в цифровых схемах: Если эти два условия не выполняются одновременно, схема...
![[VLSI CAD] MiniSAT?](https://images.unsplash.com/photo-1509228468518-180dd4864904?crop=entropy&cs=tinysrgb&fit=max&fm=jpg&ixid=M3wxMTc3M3wwfDF8c2VhcmNofDN8fG1hdGh8ZW58MHx8fHwxNzcyOTUwMDY2fDA&ixlib=rb-4.1.0&q=80&w=600)
russian
[VLSI CAD] MiniSAT?
Задача удовлетворимости (SAT) вкратце сводится к следующему вопросу: Можно ли установить переменные в True / False так, чтобы заданная булева формула была...
russian
Что такое односвязная/неодносвязная ячейка в статическом анализе времени?
При изучении проектирования цифровых схем вы сталкиваетесь с нечетной/нечетной ячейкой , и сначала думаете: "Какой в этом смысл?" Нечетность - это...
russian
Стратегии карьерного роста и перехода к полупроводниковому дизайну
학부생부터 3년차까지, наиболее часто задаваемые вопросы Мы составили список самых распространенных вопросов о работе и карьере, которые мы получали за время работы...
russian
Технический отчет Орбитального центра обработки данных (ODC)
→ Возникают вопросы, связанные с затратами. Как мы можем получать больше энергии в более просторном помещении, потребляя при этом меньше энергии?...
![[VLSI CAD] Выраженный в EDA](https://images.unsplash.com/photo-1570841398972-8aaa69ec72f2?crop=entropy&cs=tinysrgb&fit=max&fm=jpg&ixid=M3wxMTc3M3wwfDF8c2VhcmNofDF8fGVzcHJlc3Nzb3xlbnwwfHx8fDE3NzA3MzU3MjZ8MA&ixlib=rb-4.1.0&q=80&w=600)
russian
[VLSI CAD] Выраженный в EDA
Что такое Espresso? Классический и эталонный подход, который сводит к минимуму количество терминов AND/OR, сохраняя при этом функциональность логического...
![[VLSI CAD] Почему двухуровневая минимизация логики является сложной задачей](https://images.unsplash.com/photo-1642952469120-eed4b65104be?crop=entropy&cs=tinysrgb&fit=max&fm=jpg&ixid=M3wxMTc3M3wwfDF8c2VhcmNofDJ8fGFsZ29yaXRobXxlbnwwfHx8fDE3NjkzMzE5NjV8MA&ixlib=rb-4.1.0&q=80&w=600)
russian
[VLSI CAD] Почему двухуровневая минимизация логики является сложной задачей
TL;DR Метод Куайна-МакКласки (QM) страдает от «экспоненциального взрыва» вычислительной сложности. Даже небольшое увеличение числа переменных перегружает...
russian
Полупроводниковая промышленность и стратегический менеджмент: применение и анализ концептуальной модели
В лекциях по стратегии MBA часто можно услышать следующую фразу: Имея достаточный объем данных и правильную структуру, можно убедить любого. Однако...