pillar

우주 데이터센터 (Orbital Data Center, ODC) 기술보고

korean

우주 데이터센터 (Orbital Data Center, ODC) 기술보고

1. AI는 데이터센터가 필요하다. 2. 데이터센터는 크고, 많은 에너지를 사용한다. 3. 발열을 줄일 냉각 시스템도 필요하다. -> 비용 문제가 발생한다. 더 넓은 공간에서, 더 많은 에너지를 받고, 더 적은 에너지를 소모하려면 어떻게 해야할까? 우주 데이터센터(Orbital Data Center, 이하 ODC)는 “지구 데이터센터의 전력·냉각·부지 제약”을 우주로

By Chase Na - Semiconductor Design Engineer
[VLSI CAD] EDAにおける表現

japanese

[VLSI CAD] EDAにおける表現

エスプレッソとは何か?論理式の機能を維持しつつ、「AND/OR項の数を最小化」する古典的かつ基準となる手法 エスプレッソはブール論理の最小化(logic minimization)アルゴリズムでありツールである。 1. Espressoが解こうとする問題 次の二つの論理式は完全に同じ機能を果たす。 f = a b c + a b ~c f = a b 二つ目は: * より短く * より速く * より安価である。 Espressoの目的はただひとつ。 「論理機能はそのまま、表現は最小限に」 一行結論から Espressoは「完璧な最適解」を放棄し、 「十分に良い解」を非常に速く見つけるアルゴリズムである。 QMが完璧主義アルゴリズムなら、 Espressoは現実主義アルゴリズムだ。 QMの姿勢はこうだ: 「電球が点灯する全てのケースを 全て比較して 絶対的に最も短い説明を見つける」 だから: * ケースが少し増えるだけで * ケースの数が爆発的に増える * コンピュータがクラッシュする Espressoの考え方はまったく違う Esp

By Chase Na - Semiconductor Design Engineer
[VLSI CAD] 表达在EDA中

chinese

[VLSI CAD] 表达在EDA中

什么是Espresso?在保持逻辑式功能的同时,实现“最小化AND/OR项数量”的经典标准算法 Espresso是布尔逻辑最小化(logic minimization)算法及工具。 1. Espresso解决的核心问题 以下两个逻辑式具有完全相同的功能。 f = a b c + a b ~c f = a b 第二个表达式: * 更简洁 * 更快速 * 更经济。 Espresso的目标只有一个: “保留逻辑功能,精简表达形式” 一行结论 Espresso放弃了“完美最优解”, 而是快速寻找“足够好的解”的算法。 若说QM是完美主义算法, Espresso便是现实主义算法。 QM秉持这样的态度: “要比较所有可能点亮灯泡的情况, 找出绝对最短的解释。” 因此: * 情况稍有增加 * 就会导致情况数爆炸式增长 * 导致计算机崩溃 Espresso的思维方式截然不同 Espresso这样思考: “先粗略地描述灯泡, 再逐步完善细节。 不必追求完美。

By Chase Na - Semiconductor Design Engineer
[VLSI CAD] Выраженный в EDA

russian

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

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

By Chase Na - Semiconductor Design Engineer
[VLSI CAD] 两级逻辑化简难以实现的原因

chinese

[VLSI CAD] 两级逻辑化简难以实现的原因

TL;DRDR * 要"精确"求解两阶逻辑最小化问题,必然会采用Quine–McCluskey(QM)算法路径。 * QM算法的瓶颈在于覆盖(最小列覆盖)阶段。 * 由于覆盖问题属于NP完全问题, “最优解”不再是数值而是证明问题。 * SAT问题几乎不成问题,因其本质属于决策问题。 EDA通过启发式+剪枝+分支界定法快速生成“足够好的解。 什么是两级逻辑最小化? 场景 假设存在三个开关。 * A: 开关1 * B:开关2 * C:开关3 灯泡F在以下三种情况下点亮: 1. A=0, B=0, C=1 → A'B'C 2. A=0, B=1,

By Chase Na - Semiconductor Design Engineer
[VLSI CAD] Почему двухуровневая минимизация логики является сложной задачей

russian

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

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

By Chase Na - Semiconductor Design Engineer
[VLSI CAD] Two-Level Logic Minimization이 어려운 이유

korean

[VLSI CAD] Two-Level Logic Minimization이 어려운 이유

TL;DR * Two-Level Logic Minimization을 “정확히” 풀려면 Quine–McCluskey(QM) 흐름을 타게 된다. * QM의 병목은 covering(minimum column cover) 단계다. * covering은 NP-complete라서, “최적해”는 값이 아니라 증명 문제가 된다. * SAT는 거의 큰 문제가 안 된다. 이유는 SAT가 본질적으로 decision 문제이기 때문이다. EDA는 heuristic + pruning+ branch-and-bound로 “충분히 좋은 답”을 빠르게

By Chase Na - Semiconductor Design Engineer
VLSI Korea Free forever · No paywall · Weekly semiconductor insights from practicing engineers
Support