AI tự động hóa thiết kế điện tử

tháng 7 năm 2026 Kimi trình làng mô hình Kimi K3 thiết kế 1 chip điện tử trong một lần chạy 48-giờ tự động, cổ phiếu Synopsys và Cadence giảm giá 9% ngay sau khi tin này được tung ra
tại hội nghị Hot Chips, OpenAI trình làng Jalapeno được thiết kế với AI hỗ trợ

Thiết kế front-end (luận lý)
ở công đoạn thiết kế logic, ngôn ngữ "luận lý truyền-tín-hiệu-qua-thanh-ghi" RTL (register-transfer logic) có thể là Verilog hoặc VHDL (phổ biến ở Châu Âu) dùng cho thanh ghi
cho mạch điện và cổng logic, người ta dùng những công cụ tổng hợp tự động và thư viện ô nhớ (cell) để tạo ra một danh sách kết nối (netlist) cổng logic

Thiết kế back-end (vật lý)
các công cụ thiết kế vật lý sẽ vẽ ra sơ đồ (lay out) cổng logic lên trên mạch điện, và nối dây kết nối
trong suốt quá trình thiết kế, những công cụ mô phỏng (simulate) và xác nhận (verify) sẽ đảm bảo thiết kế đạt hiệu năng mong muốn, trong khi vẫn tuân theo những quy tắc thiết kế của xưởng đúc (foundry)

EDA mã nguồn mở
năm 2018 trình làng OpenRoad là bộ phần mềm (suite) EDA (electronic design automation) tích hợp hàng chục công cụ và thư viện, tạo điều kiện cho người dùng đi từ RTL cho đến một bản vẽ sản xuất GDSII (graphic data system)
ngày 16 tháng 5 năm 2025 OpenAI trình làng tác tử AI lập trình Codex trên nền tảng đám mây, với 1 giao diện dòng lệnh Codex CLI
mô hình Codex dựa trên các dòng suy luận o3/GPT-5 để trợ lý các tác vụ lập trình dài-dòng (long-horizon)
ngày 2 tháng 2 năm 2026 OpenAI trình làng ứng dụng Introducing the Codex bản chạy trên hệ điều hành macOS
ngày 4 tháng 3 năm 2026 OpenAI trình làng ứng dụng Introducing the Codex bản chạy trên hệ điều hành Windows
Introducing the Codex tích hợp tính năng tương tác hệ thống, cho phép tác tử AI đọc/viết các tệp lệnh (script) tương tác các phần mềm như CAD (computer-aided design) và EDA

Tài sản sở hữu trí tuệ IP (intellectual property)
bộ công cụ thiết kế quy trình PDK (process design kit) là những gói IP được cả các xưởng đúc (foundry) lẫn các hãng EDA đưa ra, được quy định bởi những hợp đồng bảo mật NDA (non-disclosure agreement)
báo cáo kỹ thuật Kimi K3 chia sẻ một kho chứa mã nguồn GitHub (GitHub repo) tuyên bố K3 đã tạo được RTL cho một chip suy luận AI nhỏ Nano KPU, sử dụng các công cụ EDA mã mở và một thư viện ô nhớ (cell) chuẩn Nangate 45nm Open Cell
KPU suy luận được 238000 tham số, nhỏ bằng 1 phần 12 triệu so với Kimi K3
báo cáo kỹ thuật K3 có ghi: "trong phạm vi phân tích 4 milimet vuông, thiết kế đạt mục tiêu tần số 100 MHz và một thông lượng dịch mã mô-phỏng-RTL hơn 8700 token/giây, tích hợp 1.46 triệu ô nhớ (cell) chuẩn, 0.277 MiB (mega binary byte) SRAM và một mảng tính-nhân-tích-lũy MAC (multiply-accumulate) số nguyên 4-bit INT4 (integer 4-bit) có gộp mạch giải nén (fused dequantization)"
năm 2020 Hammond Pearce trường đại học New York xuất bản DAVE (derive automatically Verilog from English) điều chỉnh mô hình GPT-2 để tạo ra RTL cấp-nhập-môn được cho là có độ chính xác 94.8%
doanh nghiệp eFabless, nay đã giải thể, từng tổ chức chuỗi cuộc thi AI Generated Open-Source Silicon Design Challenge
thiết kế Caravel-Vector-Coprocessor-AI của Will Salcedo được viết bằng GPT-4 đã hoàn tất (tape-out) vượt qua các bài kiểm tra lỗi và sẵn sàng cho xưởng đúc (foundry) sản xuất hàng loạt

Vòng lặp phản hồi tích cực
mặc dù Kimi K3 làm một số xác nhận chức năng (functional verification), K3 không thực hiện sắp đặt ô nhớ (cell placement), nối dây (route), xác nhận vật lý (physical verify), kiểm tra cuối cùng (sign-off)
tại sự kiện SEMICON Đài Loan, gian triển lãm Siemens có trình chiếu một video biểu diễn một tác tử AI hoạt-động-liên-tục (long-running) sử dụng những máy chủ MCP (model context protocol) và API (application programming interface) để điều khiển các công cụ thực hiện tổng hợp và xác nhận
ví dụ: chạy phân tích những ô nhớ (cell) chuẩn, thông qua các trình mô phỏng, để tính toán giá trị tải trọng điện dung (load) các cổng logic đang gánh... dữ liệu tốc độ và điện năng... để sử dụng cho quy trình thiết kế sau này
việc phân tích này được thực hiện mỗi khi nâng cấp lên một node quy trình mới, với quá nhiều ô nhớ (cell)
Synopsys nói rằng sẽ chuyển sang một mô hình doanh thu kết-hợp (combo) giữa đăng ký gói thành viên (subscription) và tính phí chia sẻ sử dụng mỗi-token

Khung môi trường thử nghiệm
ngày 5 tháng 8 năm 2026 Christina Lee một cựu nhân viên xAI đăng bài viết "có thể thiết kế chip 87000 tps (token/giây) sử dụng Kimi K3 không?"
Christina Lee sử dụng một mô hình AI để đồng-cải-tiến một thiết kế chip và khung môi trường thử nghiệm (harness) được đặt tên "meta harness" để lặp lại kết quả Kimi K3
có một vòng lặp trong (inner loop): một mô hình AI điều khiển các công cụ EDA viết RTL, tổng hợp, sắp đặt ô nhớ (cell placement), nối dây (route), xác nhận (verify)
rồi một vòng lặp ngoài (outer loop): mô hình AI kiểm điểm lần chạy trước, và đưa ra những cách mới để cải thiện
ở lượt 1 (phase 1 round) tập trung vào mảng MAC là một tập con (subset) của chip, Christina Lee định hướng meta harness qua nhiều lượt lặp (iteration) đến tần số xung 900 MHz - 1 GHz
ở lượt 2, Christina Lee mở rộng ra toàn bộ KPU, nối dây MAC đến SRAM và những nơi khác: thêm "tuyến hành động" (pathway), vòng phản hồi (feedback data loop)
trong quá trình này, Christina Lee làm việc cùng với meta harness và mô hình, thông qua những chuỗi mục tiêu (goal string) để khắc phục các vấn đề; những chuỗi mục tiêu đã được cung cấp bởi mô hình ở vòng lặp ngoài, đã được sàng lọc và xác nhận bởi con người

Jalapeno
ngày 25 tháng 8 năm 2026 SemiAlalysis đăng bài viết có tựa đề "Jalapeno của OpenAI vượt mặt Blackwell của Nvidia"
đội ngũ Jalapeno sử dụng ngôn ngữ phần cứng XLS sẽ được dịch ra RTL
nghiên cứu sinh Zarkbot cựu nhân viên Alibaba đăng bài blog dự đoán XLS là một ngôn ngữ tổng hợp phần cứng cấp-trung, giúp các bước được-tùy-chỉnh-theo-máy hơn cho AI
trình chiếu tại hội chợ Hot Chips bởi 20-30 nhân viên OpenAI cho thấy Jalapeno từ RTL cho đến hoàn-tất (tape-out) chỉ mất 9 tháng
lộ trình công nghệ OpenAI cho thấy những ý tưởng kiến trúc Jalapeno mới đầu từ tháng 10 năm 2024
trình chiếu OpenAI cũng cho thấy rằng cấu hình Jalapeno đã được cải tiến qua nhiều vòng lặp và tương tác giữa AI và người thiết kế
đội ngũ OpenAI lưu ý rằng những thay đổi lớn đang được đưa vào RTL cho đến ngày cuối cùng "chốt", và nhóm đã sử dụng rất nhiều token, thường xuyên lọt nhóm sử dụng token nhiều nhất doanh nghiệp

Yosys Open SYnthesis Suite
Christina Lee sử dụng Yosys và OpenLane cho các tác vụ tổng hợp (synthesis), sắp đặt mạch (floor plan), sắp đặt ô nhớ (cell placement) và kiểm tra
tại hội chợ Hot Chips, Broadcom nhận được lời cảm tạ ở trang trình chiếu 34 của nhóm Jalapeno
xác nhận (validation) là một lĩnh vực nghiên cứu, mà AI chưa vượt qua
AI giỏi ở PPA (power, performance, area) đánh giá chất lượng và hiệu năng của một thiết kế chip: tối ưu PPA qua một vòng phản hồi kín
trong khi "validation" thiếu những tín hiệu mạnh mẽ để bám vào, phản hồi rằng đã sắp "thành công"... ví dụ "độ bao phủ toàn diện" (full coverage)... chấm xem bài kiểm tra đã đạt hay chưa
Shibo Chen làm tại Tenstorrent đăng bài viết "verification là ngôn ngữ tình yêu của một kiến trúc sư"
ngày nay 50-70% thời gian phát triển chip là cho việc validation

Khởi nghiệp
ở thung lũng Siliconn, nhiều công ty khởi nghiệp đang tập trung vào luận-lý (front-end) nhờ được truy cập những mô hình AI với kiến thức độc quyền, để viết RTL
tháng 6 năm 2026 ngay sau khi Anthropic trình làng Claude Fable 5, chính phủ Hoa Kỳ ban chỉ thị kiểm soát xuất khẩu, cấm công dân nước ngoài, trong hay ngoài Hoa Kỳ, bao gồm nhân viên nước ngoài của chính Anthropic, tiếp cận năng lực suy luận của dòng sản phẩm Fable 5 và Mythos 5
không thể ngay lập tức xác thực quốc tịch người dùng trên toàn cầu theo thời gian thực, Anthropic tạm ngắt kết nối 2 mô hình trên với mọi khách hàng toàn cầu
bấy giờ Etched sử dụng Fable 5 bản thương mại, kèm các bộ khung thử nghiệm, cho AI tự viết RTL và đã bị ảnh hưởng
ví dụ đã phản ánh những bất lợi của một công ty khởi nghiệp như Etched trong việc thương mại hóa một sản phẩm luận-lý, cho nên các công ty khởi nghiệp có thể chuyển sang vật-lý (back-end) như verification
ngày 27 tháng 8 năm 2026 công ty khởi nghiệp Architect Labs trình làng Redwood được AI verify với một cấu hình (spec) được 2 kiến trúc sư viết