본문바로가기

태극기이 누리집은 대한민국 공식 전자정부 누리집입니다.

단어장에 추가 인쇄
형식적^검증^툴 편집하기 편집 금지 요청
분야
『정보·통신』
「001」2개의 논리 설계 데이터, 즉 논리 소자의 조합에 의한 2개의 컴퓨터 설계 데이터를 비교하는 전자 설계 자동화 도구. 컴퓨터로 모형화하여 가상으로 수행하는 시뮬레이션 패턴 없이 동일한 논리인지를 검증할 수 있다.

대역어

영어
formal verification tool
내가 살펴본 단어 내 단어장
    단어장에 추가 전체 삭제

    취소
    위로