Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXivAI 번역논문
인증 인지형 속성 지향 도달 가능성 (Certificate-Aware Property-Directed Reachability)
본 논문은 하드웨어 안전성 검증 도구인 PDR(Property-Directed Reachability)의 인증서 크기, 검증 시간, 실행 시간을 동시에 최적화하는 CAPDR 알고리즘을 제안합니다. CAPDR은 학습된 정책을 사용하면서도 모든 상태 변경을 SAT 체크로 보호하여 신뢰성을 유지하며, 2024 Hardware Model Checking Competition 벤치마크에서 기존 방식보다 더 많은 문제를 해결하고 인증서 크기와 검증 시간을 크게 단축했습니다.
5월 20일2
arXivAI 번역논문
CPPL: 회로 프롬프트 프로그래밍 언어
LLM을 활용한 하드웨어 설계 시 발생하는 RTL 생성의 어려움을 해결하기 위해 컴파일러 매개 설계 프레임워크인 CPPL을 제안합니다. CPPL은 Python 기반 DSL과 JSON 기반의 회로 IR을 사용하여 LLM이 구조적이고 검증 가능한 설계를 생성할 수 있도록 지원하며, 최종적으로 CIRCT를 통해 합성 가능한 Verilog로 변환합니다.
5월 20일1
arXivAI 번역논문
매개변수화된 하이브리드 무선 통신을 통한 민첩한 Ambient IoT 네트워킹 구현
Ambient IoT의 신속한 프로토콜 프로토타이핑을 지원하기 위해 설계된 최초의 하이브리드 능동-수동 구성 가능 무선 구조인 Janus를 제안합니다. Janus는 단일 RF 프런트 엔드에 수동 및 능동 전송을 통합하고 물리 계층 동작을 매개변수로 추상화하여, 다양한 무선 표준 환경에서 효율적인 테스트를 가능하게 합니다.
5월 20일1
arXivAI 번역논문
iHAC: 성능 및 회복 탄력성 향상을 위한 하이브리드 클러스터 아키텍처
iHAC(Integrated High Availability Cluster)는 기존 고가용성 클러스터의 단일 장애점과 자원 할당 비효율성을 해결하기 위해 설계된 하이브리드 아키텍처입니다. 액티브-액티브와 액티브-패시브 구성의 장점을 결합하여 워크로드 분산과 장애 조치 능력을 최적화합니다. 시뮬레이션 결과, 기존 방식 대비 HTTP 응답 시간을 40% 이상 단축하며 성능과 회복 탄력성을 크게 향상시켰습니다.
5월 20일1
arXivAI 번역논문
HSCO-Bench: SoC를 위한 에이전트 기반 엔드투엔드 하드웨어-소프트웨어 공동 설계 벤치마크
HSCO-Bench는 LLM 에이전트가 소프트웨어와 하드웨어를 통합적으로 설계할 수 있는 능력을 평가하기 위해 제안된 최초의 엔드투엔드 하드웨어-소프트웨어 공동 설계 벤치마크입니다. 이 벤치마크는 애플리케이션 분석부터 이기종 가속기 설계 및 SoC 통합까지의 전체 프로세스를 다룹니다. 실험 결과, 최첨단 모델들은 하드웨어 가속 능력을 보여주었으나 시스템 자원을 최적으로 활용하는 데에는 여전히 한계가 있음이 드러났습니다.
5월 20일1