Chase Na - Semiconductor Design Engineer

korean

메모리, 인공지능 반도체를 빼면 불황이다.

AI 반도체는 전체 매출의 절반을 차지하면서 업계 사상 최대 호황을 누리고 있지만, 전통 소비자용 반도체는 심각한 침체에 빠졌다. 2026년 글로벌 반도체 시장은 WSTS 기준 $9,755억(약 26.3% 성장)으로 사상 첫 1조 달러 돌파를 눈앞에 두고 있다. BofA는 2026년을 "1990년대 이후 최대 슈퍼사이클"로 정의하며, 업계는

korean

Synopsys 2026: Ansys 통합 이후, 변곡점에 선 EDA 제왕

전세계의 반도체 회사가 Synopsys의 EDA 제품을 사용한다. 그렇기에, Synopsys의 연례 발표를 보면 반도체 시장 전체의 흐름이 보인다. Synopsys의 2025-2026년을 맞이하는 풍경은 1년 전과 완전히 다르다. $350억 Ansys 인수가 완료되면서 매출은 YoY 66% 급증했고, 제품 포트폴리오는 silicon-to-systems 전 영역을 커버하게 됐다. 2026년 3월 Converge 행사에서는 Ansys 물리엔진을 EDA 코어 툴에 직접

korean

반도체 엔지니어를 위한 미국 온라인 공학 석사 가이드

미국 Top 10 공대에서 출퇴근하며 석사 학위를 딸 수 있는 시대다. Georgia Tech, Purdue, USC 등 명문 대학들이 100% 온라인 ECE 석사 과정을 운영하고 있으며, 졸업장에 'Online'이라는 표기 없이 캠퍼스 학위와 동일한 학위를 수여합니다. 그래서, "실무 경력은 충분한데", "이론적으로 좀 더 공부"하고,

korean

최저가 맥북을 샀더니, 불량 칩이 들어있습니다. (근데 이게 정상입니다)

애플 실리콘의 M5 라인업 전체는 사실 핵심 모듈 하나에서 출발한다. 나머지는 수율 관리와 패키징 기술. 이것이 애플의 실력, 그리고 이것은 곧 기업의 재무제표에 들어난다. 전 제품 라인업을 사실상 하나의 핵심 IP 설계로 커버하고, 죽은 트랜지스터도 제품으로 파는 회사. Apple M-Series Chip은 아래 제품들 전부에 들어갑니다. * iPad Pro 11", 13&

chinese

计算布尔代数：香农扩展、SAT

TL;DR * Shannon 扩展是将布尔函数分解为单个 MUX 的公式。 * 协因式是 "将一个变量固定为 0/1 的新函数"，因此该变量在协因式中消失。 * 布尔差分是一个灵敏度函数，用于计算 "当输入 x 翻转时，输出是否发生变化？ * ∃（存在）量化是 "只需存在一个解决方案 "的公式，它是 SAT 的核心。 * 为什么优化很难：SAT 是关于找到一个解，优化是关于比较所有候选解。 1.问题：当 Karnaugh 映射断裂时 1.1 40 个变量，Karnaugh 图结束 * 2^40 比例→"

russian

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

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

English

Computational Boolean Algebra: Shannon expansion, SAT

TL;DR * Shannon expansion is the formula for decomposing a Boolean function into a single MUX. * cofactor is "a new function that fixes one variable to 0/1" so that that variable disappears inside the cofactor. * Boolean difference is a sensitivity function that computes "does the output

korean

Computational Boolean Algebra: Shannon expansion, SAT

TL;DR * Shannon expansion은 Boolean function을 MUX 한 개로 분해하는 공식이다. * cofactor는 “변수 하나를 0/1로 고정한 새 function”이며, 그래서 해당 변수는 cofactor 안에서 사라진다. * Boolean difference는 “입력 x를 뒤집었을 때 출력이 바뀌는가?”를 계산하는 sensitivity function이다. * ∃(existential) quantification은 “아무 해 하나만 존재하면 됨”을 수식으로 만든 연산이고, 이게

chinese

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

当您参加 EDA 或 VLSI CAD 课程时，您会突然接触到这些工具： * kbdd * MiniSAT * Espresso * SIS 起初，它们似乎都大同小异："这不都是逻辑表达式吗？" "我们在实践中会用到它吗？" 底线是，这些都是来自 "芯片拟合世界 "的工具。许多数字 EDA 工具（如逻辑合成和 DFT）都使用了这些基本概念。 1.全貌：本课的真正主题本课的核心是如何使用布尔函数。 "这个逻辑电路在数学上有意义吗？" 我们使用三种不同的方法来做到这一点： "这个逻辑电路在数学上有意义吗？

russian

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

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

English

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

When you take an EDA or VLSI CAD class, all of a sudden these tools pop up: * kbdd * MiniSAT * Espresso * SIS At first, they all seem similar: "Isn't this all about logic expressions?" "Do we ever use this in practice?" The bottom line is

korean

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

EDA, VLSI CAD 수업을 듣다 보면, 갑자기 이런 도구들이 튀어나온다. * kbdd * MiniSAT * Espresso * SIS 처음엔 다 비슷해 보인다. “다 논리식 만지는 거 아님?” “이걸 실무에서 쓰긴 하나?” 결론부터 말하면 이 도구들은 ‘칩이 맞는지 증명하는 세계’의 도구들이다. 이런 기본적인 개념들이 Logic Synthesis, DFT 등 많은 디지털 EDA Tool에 사용된다. 1.