korean
Synopsys 2026: Ansys 통합 이후, 변곡점에 선 EDA 제왕
전세계의 반도체 회사가 Synopsys의 EDA 제품을 사용한다. 그렇기에, Synopsys의 연례 발표를 보면 반도체 시장 전체의 흐름이 보인다. Synopsys의 2025-2026년을 맞이하는 풍경은 1년 전과 완전히 다르다. $350억 Ansys 인수 가 완료되면서...
Chase Na - Semiconductor Design Engineer
Founder of VLSI Korea. Staff Engineer at Synopsys — STA and physical-design methodology for advanced-node tape-outs. EE BS·MS · MBA. Writes from Seoul.
korean
반도체 엔지니어를 위한 미국 온라인 공학 석사 가이드
미국 Top 10 공대에서 출퇴근하며 석사 학위 를 딸 수 있는 시대다. Georgia Tech, Purdue, USC 등 명문 대학들이 100% 온라인 ECE 석사 과정을 운영하고 있으며, 졸업장에 'Online'이라는 표기 없이 캠퍼스 학위와 동일한 학위를 수여합니다....
korean
최저가 맥북을 샀더니, 불량 칩이 들어있습니다. (근데 이게 정상입니다)
애플 실리콘의 M5 라인업 전체는 사실 핵심 모듈 하나에서 출발한다. 나머지는 수율 관리와 패키징 기술. 이것이 애플의 실력, 그리고 이것은 곧 기업의 재무제표에 들어난다. 전 제품 라인업을 사실상 하나의 핵심 IP 설계로 커버하고, 죽은 트랜지스터도 제품으로 파는 회사....
chinese
计算布尔代数：香农扩展、SAT
TL;DR 1.问题：当 Karnaugh 映射断裂时 1.1 40 个变量，Karnaugh 图结束 1.2 本文涉及的 3 个方面 2.香农辅因子：通过 "固定一个变量 "创建的新函数 2.1 定义：辅助因子是一种替换 2.2 关键点："这是一个新函数，x 消失了" 这看起来像一个 "枚举"，但是 ...
russian
Вычислительная булева алгебра: расширение Шеннона, SAT
TL;DR 1. Проблема: когда карта Карнауха ломается 1.1 40 переменных, карта Карнауха заканчивается 1.2 3 вещи, о которых эта статья 2. Кофактор Шеннона:...
English
Computational Boolean Algebra: Shannon expansion, SAT
TL;DR 1. Problem: When Karnaugh map breaks 1.1 40 variables, the Karnaugh map is over 1.2 The 3 things this article targets 2. Shannon cofactor: a new...
korean
Computational Boolean Algebra: Shannon expansion, SAT
TL;DR 1. 문제의식: Karnaugh map이 깨지는 순간 1.1 40 variables면 Karnaugh map은 끝 1.2 이 글이 노리는 3가지 2. Shannon cofactor: “변수 고정”이 만들어내는 새 function 2.1 정의: cofactor는...
![[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)
chinese
[VLSI CAD] kbdd - MiniSAT - Espresso - SIS？
当您参加 EDA 或 VLSI CAD 课程时，您会突然接触到这些工具： 起初，它们似乎都大同小异："这不都是逻辑表达式吗？" "我们在实践中会用到它吗？" 底线是，这些都是来自 "芯片拟合世界 "的工具。 许多数字 EDA 工具（如逻辑合成和 DFT）都使用了这些基本概念。 1.全貌：本课的真正主题...
russian
[VLSI CAD] kbdd - MiniSAT - Espresso - SIS?
Когда вы посещаете занятия по EDA или VLSI CAD, вам неожиданно представляют такие инструменты: Поначалу все они кажутся похожими: "Разве это не все о...
English
[VLSI CAD] kbdd - MiniSAT - Espresso - SIS?
When you take an EDA or VLSI CAD class, all of a sudden these tools pop up: At first, they all seem similar: "Isn't this all about logic expressions?" "Do...
korean
[VLSI CAD] kbdd · MiniSAT · Espresso · SIS?
EDA, VLSI CAD 수업을 듣다 보면, 갑자기 이런 도구들이 튀어나온다. 처음엔 다 비슷해 보인다. “다 논리식 만지는 거 아님?” “이걸 실무에서 쓰긴 하나?” 결론부터 말하면 이 도구들은 ‘칩이 맞는지 증명하는 세계’의 도구들이다. 이런 기본적인 개념들이 Logic...
japanese
半導体エージングについて - BTI/HCI, Aging SPICE Simulation, Aging SPICE Simulation
半導体も年を取る 今日の 半導体素子 (Semiconductor devices)は、動作時間によって徐々に性能が劣化する、一種の "老化"現象 を経験します。 MOSFET...