EDA

korean

[Synopsys 무료 웨비나] AI 칩 검증, RTL 시뮬레이션으로는 안 되는 이유: 리벨리온·Synopsys HAV Success Story

Synopsys에서 정말 오랜만에 무료 Webinar를 합니다. 주제는 요즘 가장 핫한 HAV. 일단 신청하시고, 일하면서 들어보시지요 😄 시뮬레이션이 끝나려면 멀었다. 근데 Tape-out 일정은 다가온다. 칩 설계를 해본 사람이라면 한 번쯤 이런 경험이 있을 거다. 집을 못...

저장

korean

TCL(.tcl) 파일이란 무엇인가요?

TCL(Tool Command Language)은 EDA tool의 스크립팅 언어입니다. Synopsys, Cadence, Siemens의 주요 tool이 모두 TCL 기반 인터페이스를 제공하며, 설계 flow를 자동화하는 데 사용됩니다. .tcl 파일 자체가 설계 데이터는...

저장

korean

나보다 더 잘 아는 사람들을 어떻게 리드하나요?

처음 Project Managing을 했을 때 든 생각 프로젝트 매니저가 되고 나서 처음 든 생각은 자신감이 아니었다. 회사의 팀 프로젝트를 대강 나눠보면 아래와 같다. 1번은 하다가 모르는 것이 생기면 해당 팀에게 자세히 물어볼 수 있다. 2번은 그게 쉽지 않다. 내가 하는...

저장

korean

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

전세계의 반도체 회사가 Synopsys의 EDA 제품을 사용한다. 그렇기에, Synopsys의 연례 발표를 보면 반도체 시장 전체의 흐름이 보인다. Synopsys의 2025-2026년을 맞이하는 풍경은 1년 전과 완전히 다르다. $350억 Ansys 인수 가 완료되면서...

저장

chinese

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

TL;DR 1.问题：当 Karnaugh 映射断裂时 1.1 40 个变量，Karnaugh 图结束 1.2 本文涉及的 3 个方面 2.香农辅因子：通过 "固定一个变量 "创建的新函数 2.1 定义：辅助因子是一种替换 2.2 关键点："这是一个新函数，x 消失了" 这看起来像一个 "枚举"，但是 ...

Save

chinese

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

当您参加 EDA 或 VLSI CAD 课程时，您会突然接触到这些工具： 起初，它们似乎都大同小异："这不都是逻辑表达式吗？" "我们在实践中会用到它吗？" 底线是，这些都是来自 "芯片拟合世界 "的工具。 许多数字 EDA 工具（如逻辑合成和 DFT）都使用了这些基本概念。 1.全貌：本课的真正主题...

Save

russian

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

Когда вы посещаете занятия по EDA или VLSI CAD, вам неожиданно представляют такие инструменты: Поначалу все они кажутся похожими: "Разве это не все о...

Save

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...

Save

korean

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

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

저장

chinese

[VLSI CAD] MiniSAT？

满意度 (SAT) 问题可概括为以下问题： 变量能否设置为真/假，从而使给定的布尔公式为真？ 例如，给定公式 f(x,y,z)=(x || y) & (!x || z)， 这看起来很简单，但是当变量的数量达到数千或数万时， 2.MiniSat 是一种什么样的 SAT 求解器 MiniSat 是一种基于...

Save

russian

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

Что такое Espresso? Классический и эталонный подход, который сводит к минимуму количество терминов AND/OR, сохраняя при этом функциональность логического...

Save

English

[VLSI CAD] Expressed in EDA

What is Espresso? A classic and standard approach that minimizes the number of AND/OR terms while preserving the functionality of the logical expression....

Save