russian - VLSI Korea

russian

Вычислительная булева алгебра: расширение Шеннона, SAT

TL;DR * Расширение Шеннона - это формула для разложения булевой функции в один MUX. * Кофактор - это "новая функция, которая фиксирует одну переменную в 0/1", так что эта переменная исчезает внутри кофактора. * Булева разница - это функция чувствительности, которая вычисляет "изменится ли выход, если перевернуть вход

russian

[VLSI CAD] kbdd - MiniSAT - Espresso - SIS?

Когда вы посещаете занятия по EDA или VLSI CAD, вам неожиданно представляют такие инструменты: * kbdd * MiniSAT * Espresso * SIS Поначалу все они кажутся похожими: "Разве это не все о логических выражениях?"А разве мы когда-нибудь используем это на практике?" В конечном счете, это инструменты из "мира чипов&

russian

О старении полупроводников - BTI/HCI, SPICE-моделирование старения

Полупроводники тоже стареют Современные полупроводниковые устройства подвергаются своеобразному "старению", когда их производительность медленно ухудшается с течением времени. Как механические детали со временем изнашиваются, так и MOSFET-транзисторы меняют свои электрические характеристики в течение длительных периодов работы, влияя на поведение схемы. Это явление называется старением полупроводников, и основными его причинами

russian

FPGA против ASIC: внутренняя структура, различия и будущее отрасли

Давайте глубоко погрузимся во внутреннюю работу ПЛИС и ASIC, изучим плюсы, минусы и бизнес-последствия обеих технологий: 1. В нашей повседневной жизни бесчисленное множество полупроводниковых микросхем, включая смартфоны, компьютеры и автомобильную электронику, но мало кто из нас знает принципы, лежащие в их основе. 2. Студенты факультетов электронной инженерии и разработчики встраиваемых

russian

Время установления и время удержания - Освоение основ тайминга в СБИС

Время установки и время удержания - два наиболее важных временных ограничения в цифровых схемах: * Время установки - это время, в течение которого данные должны надежно поступать до фронта тактовой частоты, а * Время удержания - это время, в течение которого данные должны удерживаться после фронта тактовой частоты. Если эти два условия

russian

[VLSI CAD] MiniSAT?

Задача удовлетворимости (SAT) вкратце сводится к следующему вопросу: Можно ли установить переменные в True / False так, чтобы заданная булева формула была истинной? Например, если дана формула f(x,y,z)=(x || y) & (!x || z), * Поиск того, как задать True/False для x, y и z так, чтобы вся формула

russian

Что такое односвязная/неодносвязная ячейка в статическом анализе времени?

При изучении проектирования цифровых схем вы сталкиваетесь с нечетной/нечетной ячейкой, и сначала думаете: "Какой в этом смысл?" Нечетность - это критерий для STA, позволяющий "безопасно и монотонно определить наихудший случай с помощью простых правил". Это необходимо для снижения производительности и пессимизма во время выполнения. 1)

russian

Стратегии карьерного роста и перехода к полупроводниковому дизайну

학부생부터 3년차까지, наиболее часто задаваемые вопросы Мы составили список самых распространенных вопросов о работе и карьере, которые мы получали за время работы в VLSI Korea. Я пишу максимально честно о том, чему не учат профессора: Заранее прошу прощения. Я MBTI T=100%, и от чтения этого вам будет очень плохо.

russian

Технический отчет Орбитального центра обработки данных (ODC)

1. ИИ требует наличия центров обработки данных. 2. Центры обработки данных имеют большие размеры и потребляют значительное количество энергии. 3. Также необходимы системы охлаждения для снижения тепловыделения. → Возникают вопросы, связанные с затратами. Как мы можем получать больше энергии в более просторном помещении, потребляя при этом меньше энергии? Орбитальный центр обработки

russian

[VLSI CAD] Выраженный в EDA

Что такое Espresso? Классический и эталонный подход, который сводит к минимуму количество терминов AND/OR, сохраняя при этом функциональность логического выражения. Espresso — это алгоритм и инструмент минимизации булевой логики. 1. Проблема, которую решает Espresso Следующие два логических выражения выполняют точно одну и ту же функцию. f = a b c + a

russian

[VLSI CAD] Почему двухуровневая минимизация логики является сложной задачей

TL;DR * Чтобы «точно» решить задачу двухуровневой логической минимизации, необходимо следовать подходу Куайна–МакКласки (QM). * Поскольку покрытие является NP-полным, «оптимальное решение» представляет собой не значение, а проблему доказательства. * (минимальное покрытие столбцов). * Покрытие является NP-полным, поэтому «оптимальное решение» — это не значение, а проблема доказательства. * SAT вряд ли является серьезной проблемой. Причина

russian

Полупроводниковая промышленность и стратегический менеджмент: применение и анализ концептуальной модели

В лекциях по стратегии MBA часто можно услышать следующую фразу: Имея достаточный объем данных и правильную структуру, можно убедить любого. Однако полупроводниковый бизнес... — это бизнес с большим количеством конкурентов и более высокими затратами, чем в любой другой отрасли, что делает стратегическое планирование еще более важным, чем в других секторах.Введение: