Semiconductor & SoC
-
EDA 에이전트가 설계 반복을 맡는 방식
AGENTIC EDA / WEEKLY 검증 결과를 읽고, 원인을 좁히고, 다음 작업을 고른다. 이번 주 발표는 이 과정을 에이전트에게 맡기려 한다. 실행 권한과 검증 근거는 어떻게 나뉘는지 살펴본다. 자료 기준 · 2026년 10월 2일 22:02 KST개별…
-
RTL을 못 만든 걸까, 스펙을 잘못 읽은 걸까
논문 읽기 · 스펙 해석과 RTL 검증 SpecRead가 스펙 해석을 따로 평가하는 방법, 그리고 정상 RTL 대조군이 드러낸 맹점. 2026.10.03SpecRead · arXiv 사전공개 논문기술 해설 생성 RTL이 실패했다. 스펙 해석이 틀렸는지, 구현이 틀렸는지 알 수…
-
BEHAVE가 바꾸는 RTL의 정답 기준
RTL · 참조 모델 · 검증 허용된 latency 차이와 기능 오류는 어디서 갈리는가. 입력이 받아들여진 순간부터 출력이 대응되는 순간까지, 비교기가 보존해야 할 의미를 따라가 본다. 이 글의 질문완료 시점이 달라도같은 연산인가? ONCHUK 기술 해설 ·…