통신 프로토콜 및 NoC 모델링 시 설계 의도, 제약 조건, 실행 결과의 정렬 문제 해결
요약
통신 프로토콜 및 NoC 모델링 시 설계 의도, 제약 조건, 실행 결과가 분산되어 발생하는 정렬 문제를 해결하기 위한 실행 가능한 프레임워크를 제안합니다. 단 한 번의 모델 실행으로 설계 의도 표현, 제약 조건 적용, 검증 증거 생성을 동시에 수행할 수 있습니다.
핵심 포인트
- 설계 의도, 제약 조건, 실행 결과의 데이터 파편화 문제 해결
- 단일 실행으로 설계 의도와 제약 조건을 통합 관리하는 프레임워크 제안
- 검토 가능한 검증 증거(Verification Evidence) 자동 생성 가능
통신 프로토콜(Communication Protocol)과 온칩 네트워크(NoC, Network-on-Chip)의 모델링 시나리오에서는 설계 의도(Design Intent)는 문서에 작성되고, 제약 조건(Constraint) 판단은 규칙 파일에 흩어져 있으며, 실행 결과는 시뮬레이션 로그(Simulation Log)로 넘어가기 때문에 이 세 가지를 정렬하기가 매우 어렵습니다.
Protocol Model은 한 번의 모델 실행만으로 설계 의도를 표현하고, 제약 조건을 적용하며, 검토 가능한 검증 증거(Verification Evidence)를 동시에 생성할 수 있는 실행 가능한 프레임워크(Executable Framework)를 제안합니다.
AI 자동 생성 콘텐츠
본 콘텐츠는 X @qingq77 (검증됨)의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기0