통신 프로토콜 및 NoC 모델링 시 설계 의도, 제약 조건, 실행 결과의 정렬 문제 해결

요약

통신 프로토콜 및 NoC 모델링 시 설계 의도, 제약 조건, 실행 결과가 분산되어 발생하는 정렬 문제를 해결하기 위한 실행 가능한 프레임워크를 제안합니다. 단 한 번의 모델 실행으로 설계 의도 표현, 제약 조건 적용, 검증 증거 생성을 동시에 수행할 수 있습니다.

핵심 포인트

• 설계 의도, 제약 조건, 실행 결과의 데이터 파편화 문제 해결
• 단일 실행으로 설계 의도와 제약 조건을 통합 관리하는 프레임워크 제안
• 검토 가능한 검증 증거(Verification Evidence) 자동 생성 가능