인천대학교 인디고클랫폼 인천대학교 기술지원허브

본 발명은 넷리스트 기반 하드웨어 제약 모델과 모델 컨텍스트 프로토콜(MCP)을 이용한 임베디드 시스템의 회로 자동 설계 및 펌웨어 자동 생성·검증·배포 방법 및 시스템에 관한 것이다. 본 발명은 단일 정본 넷리스트를 중심으로, 한편으로는 자연어 작업지시로부터 대상 보드를 결정하고 그 보드의 가용 핀·전압 제약을 고려하여 회로(부품 구성 및 핀 배정)를 자동으로 설계하여 스키매틱 편집기에 자동으로 표시하고 사용자가 실물 하드웨어를 구성하도록 제시하며, 다른 한편으로는 이종 EDA 넷리스트 또는 편집기 출력을 공통 부품-네트 그래프로 정규화한다. 시스템은 상기 정본 넷리스트로부터 핀-기능 맵 및 전기적 제약을 포함하는 하드웨어 제약 모델을 추론하여 MCP 리소스로 언어모델에 제공하고, 언어모델은 상기 제약에 정합하는 펌웨어를 생성하며, 빌드 이전에 핀-기능·전기적 정합성을 정적으로 검증하여 위반 시 자동 수정하고, 적합도가 임계치로 수렴하면 하드 제약 게이트의 통과를 조건으로(바람직하게는 사람 승인 및 실물 구성 완료 확인을 추가 조건으로) 대상 장치에 업로드한다. 이로써 자연어만으로 회로 진실에 정합하는 안전한 하드웨어·펌웨어 자동화를 제공한다.