.v 파일 확장명

Verilog 2005는 이전 표준을 없애고 새로운 디자인 모델링 기능을 추가 한 SystemVerilog로 대체되었습니다. SystemVerilog 소스 파일의 파일 확장자는 .SV 입니다.

참고 : Verilog 소스 파일은 일반 텍스트 형식으로 저장되며 메모장 + +와 같은 텍스트 편집기에서 열 수 있습니다.

Windows

Xilinx ISE Design Suite Cadence Design Systems Incisive SYNAPTICAD VeriLogger Extreme

Linux

Xilinx ISE Design Suite Icarus Verilog Verilog 2005 parser Mentor Graphics ModelSim

___ categories_name33 ___ 래스터 이미지 파일 ______ categories_text33 ___

래스터 그래픽은 가장 일반적인 이미지 파일 형식입니다. 이들은 각 픽셀이 이미지 내의 개별 색상을 나타내는 픽셀 그리드로 구성됩니다. 웹 그래픽과 디지털 사진 모두 래스터 그래픽으로 저장됩니다. 일부 래스터 이미지 형식은 압축되지 않은 상태이지만 일부 형식은 이미지 압축 방식을 사용합니다.

______ categories_name28 ___ 개발자 파일 ______ categories_text28 ___

개발자 파일 범주에는 소프트웨어 개발과 관련된 파일이 들어 있습니다. 여기에는 프로그래밍 프로젝트 파일, 소스 코드 파일, 코드 라이브러리, 헤더 파일 및 클래스 파일이 포함됩니다. 컴파일 된 객체 및 구성 요소도이 범주에 포함됩니다.

______ extension_description12303 ___

V 파일 확장자를 가진 파일은 Verilog HDL (Hardware Description Language)로 작성된 소스 코드 파일 일 수 있습니다. 전자 시스템의 모델을 지정합니다. V 파일은 일반적으로 Verilog 2005 소스 코드를 포함하지만 Verilog-95 또는 Verilog 2001과 같은 이전 Verilog 표준 중 하나를 사용할 수도 있습니다.

______ extension_text12303 ___

Verilog 2005는 이전 표준을 없애고 새로운 디자인 모델링 기능을 추가 한 SystemVerilog로 대체되었습니다. SystemVerilog 소스 파일의 파일 확장자는 %li_nk% 입니다.

참고 : Verilog 소스 파일은 일반 텍스트 형식으로 저장되며 메모장 + +와 같은 텍스트 편집기에서 열 수 있습니다.

______ extension_common12303 ___ ______ extension_description12304 ___

Portable PixMap 이미지 ( %li_nk% 파일)를 %li_nk% , %li_nk% 및 V 파일로 분할하는 데 사용되는 Unix 기반 프로그램 인 ppmtoyuvsplit에서 생성 된 원시 "V"이미지 파일. 이미지의 "V"색차 또는 색 구성 요소를 저장합니다. yuvsplittoppm 유틸리티를 사용하여 원래 PPM 파일로 복원 할 수 있습니다.

___

참고 : yuvsplittoppm 및 ppmtoyuvsplit 명령 줄 유틸리티는 netpbm Unix 기반 그래픽 패키지의 일부입니다.

/ p> ______ extension_common12304 ___ ______ extension_description12305 ___

Coq에서 사용하는 개발자 파일, 수학적 증명을 개발하는 데 사용되는 응용 프로그램. 텍스트 형식으로 저장되며 유도 성 미적분학 (Calculus of Inductive Constructions, CIC)이라는 표현형 언어를 기반으로 한 Gallina 언어로 작성된 소스 코드가 포함되어 있습니다. 수학 증명을 저장하는 데 사용됩니다.

______ extension_text12305 ___

개발자는 Gallina 언어에 대한 명령의 구문 또는 언어 인 Gallina "vernacular"를 사용하여 V 파일에 표현식을 지정합니다. V 파일을 작성한 후에는 프로그램 이름이 CoqIDE 인 Coq Proof Assistant Assistant IDE로 컴파일하고 실행할 수 있습니다.

참고 : Coq 개발 팀에서 이전에 유지 관리했던 Coq 개발은 다음과 같습니다. 현재 ADT Coq가 관리하고 있습니다. ADT는 "기술 개발을위한 활동"을 의미합니다.

______ extension_common12305 ___ ______ product_main_features8730 ___

• 디자인의 반응을 시험하기위한 자극 시뮬레이션
• 동적 전력 감소를위한 지능형 클록 게이팅
• 타이밍 반복성을위한 디자인 보존
• 시스템 유연성 및 비용 절감을위한 부분 재구성

______ product_text8730 ___

자일링스 ISE 디자인 수트는 맞춤형 집적 회로를 설계하는 데 사용됩니다. 특히이 제품군은 설계자 또는 고객이 제조 후 회로를 구성 할 수 있도록하는 FPGA (Field Programmable Array)를 설계하는 데 사용된다. ISE Design Suite는 Windows 및 Linux 플랫폼에서 사용할 수 있습니다.

ISE Design Suite는 전자 회로 설계를 종합하고 분석 할 수 있도록 제작되었습니다. 회로는 하드웨어 설명 언어 (HDL)라는 특수 컴퓨터 언어로 작성됩니다. 이 제품군을 사용하면 Register-Transfer Level 다이어그램을 검사하고 타이밍 분석을 수행하고 다양한 자극을 시뮬레이트하여 설계 반응을 테스트 할 수 있습니다. ISE Design Suite는 임베디드, 시스템, 및 WebPACK. 각 에디션에는 다양한 기능이 포함되어 있지만 ISE Design Suite는 유연한 구성을 위해 추가 할 수있는 도구를 제공하여 생산성을 향상시킵니다. 사용 가능한 도구에는 ChipScope 툴킷과 Embedded Development Kit가 있으며, 각각 WebPack 에디션 용으로 설계되었습니다. ChipScope 툴킷은 고속 FPGA 디자인에서 직렬 I / O 채널을 신속하게 설정 및 디버그 할 수있는 반면 임베디드 개발 키트는 임베디드 프로세싱 시스템을 설계하는 데 사용되는 IDE입니다.

ISE Design Suite는 포괄적 인 통합 회로를 설계, 분석 및 테스트 할 수있는 툴. 다양한 에디션에 패키지 된 강력한 기능을 제공하며 사용자가 선택한 도구를 사용자 정의 할 수도 있습니다. 자일링스 ISE 디자인 수트는 집적 회로 설계를 설계하고 테스트 할 때 탁월한 선택이다.

업데이트 : 2014 년 9 월 22 일

______ product_main_features7855 ___

• C ++ 및 Java와 같은 많은 프로그래밍 언어 지원
• 구문 강조 및 접기
• 탭이있는 문서 인터페이스 및 분할 화면 편집
• 플러그인을 통한 확장 된 기능

______ product_text7855 ___

Notepad ++는 메모장과 비슷한 텍스트 편집기이지만 고급 소스 코드 편집 도구와 같은 추가 기능을 제공합니다. 무료로 배포되며 Windows와 함께 제공되지 않습니다.

텍스트 편집기는 드래그 앤 드롭 기능을 제공하면서 탭으로 구성된 문서 인터페이스와 분할 화면 편집으로 구성됩니다. 이 프로그램은 텍스트 편집기로 사용할 수 있지만 주로 소스 코드 편집에 사용됩니다. 기본적으로 C ++, HTML, Pascal, Java 및 YAML과 같은 다양한 프로그래밍 언어를 지원합니다. 또한 편집기에는 구문 강조, 매크로 기록 및 실행, 사용자 지정 바로 가기 키 매핑과 같은 많은 기본 소스 코드 편집 기능이 있습니다.

Notepad ++는 추가 기능을위한 플러그인도 지원합니다. 프로그램의 Plugin Manager를 사용하여 직접 플러그인을 만들거나 플러그인을 설치할 수 있습니다. Plugin Manager는 기존의 호환 가능한 플러그인을 설치, 업데이트 및 제거하는 데 도움이됩니다.

코드를보다 효율적으로 작성하는 데 도움이되는 텍스트 편집기가 필요한 경우 메모장 ++에서 작업이 완료됩니다. 효율적인 인터페이스, 광범위한 프로그래밍 언어 지원 및 플러그인을 통한 확장 된 기능을 제공합니다. Notepad ++는 Windows 사용자를위한 매우 유용한 텍스트 및 소스 코드 편집기입니다.

업데이트 : 2014 년 8 월 11 일

______ product_main_features7705 ___

• 사용하기 쉬운 재생 컨트롤이있는 깨끗한 사용자 인터페이스 제공
• 다양한 비디오 및 오디오 형식 지원
• H.264 압축으로 HD 비디오 제공
• 바탕 화면 또는 웹의 콘텐츠를 표시합니다.

______ product_text7705 ___

Apple QuickTime Player는 Mac OS X에 번들로 제공되며 Windows 플랫폼에서 다운로드 할 수있는 무료 미디어 플레이어입니다. 다양한 이미지, 오디오 및 비디오 형식을 지원합니다.

QuickTime Player에서는 오디오, 비디오 또는 이미지 등 거의 모든 미디어 파일을 재생할 수 있습니다. 플레이어는 H.264 비디오 압축 기술을 보유하고있어 생생한 HD 비디오를 구현할 수 있습니다. 플레이어 모양은 간단하며 재생 버튼과 볼륨 슬라이더가 표시됩니다. 일부 플레이어 옵션에는 저음, 고음, 밝기 및 색상과 같은 다양한보기 크기 및 A / V 사양이 포함됩니다.

QuickTime Player X의 Apple 사용자 또는 QuickTime Pro의 Windows 사용자에게는 몇 가지 고급 기능이 있습니다. 이 응용 프로그램은 사용자가 자리에 앉을 수 있도록하는 것이 아니라 자신 만의 컨텐츠를 만들 수있는 여러 가지 도구를 제공합니다. 컴퓨터의 카메라를 사용하여 자신 만의 동영상을 만들 수 있습니다. 컴퓨터의 마이크 또는 자신의 마이크를 사용하여 오디오를 녹음 할 수 있습니다. 자신의 컴퓨터 화면을 화면으로 녹화 할 수도 있습니다.

Apple 또는 Windows 사용자 이건간에 QuickTime Player는 비디오 재생을위한 최상의 옵션 중 하나입니다. 인상적인 양의 미디어 파일을 지원하며 사용 가능한 미디어 플레이어 중 가장 잘나 보입니다. 무료라는 사실은 거래를 봉인합니다.

업데이트 : 2014 년 3 월 13 일

______ product_main_features7577 ___

• WMV 및 MPEG와 같은 인기있는 비디오 및 오디오 형식 지원
• 미디어 구성을 사용자 정의 할 수 있습니다.
• 동일한 네트워크에있는 여러 컴퓨터와 기기간에 스트리밍을 사용하도록 설정합니다.
• 오디오를 CD로 추출하고 굽습니다.

___Microsoft Windows Media Player는 비디오 및 오디오를 재생하는 데 사용되는 미디어 라이브러리 응용 프로그램입니다.

이미지를 볼 수 있습니다.

Windows Media Player는 WMV, MOV, MPEG, WAV, ASF, MIDI 및 AIFF와 같이 많이 사용되는 오디오 및 비디오 형식을 지원합니다. 이 플레이어는 H.264, Xvid 및 DivX 비디오도 지원합니다. Windows Media Player의 기능을 확장하는 데 사용할 수있는 많은 무료 플러그인이 있습니다. Windows Media Player에서는 네트워크의 다른 장치에서 또는 다른 장치로 미디어를 스트리밍하고, 휴대용 장치와 미디어를 동기화하고, 오디오를 CD로 구울 수도 있습니다.

Windows Media Player를 사용하면 미디어 환경을 사용자 지정할 수 있습니다. 탐색 패널을 구성하고 장르 및 등급과 같은 범주별로 미디어를 정렬하고 플레이어의 스킨을 편집 할 수 있습니다. Windows Media Player를 사용하면 자신의 미디어 재생 목록을 만들 수 있으며 기준에 따라 재생 목록을 생성 할 수 있습니다.

Windows 사용자 인 경우 Windows Media Player는 미디어 구성 및 재생에 적합한 옵션입니다. 다양한 대중적인 오디오 및 비디오 형식을 지원하고 미디어 구성을 사용자 정의 할 수 있으며 오디오를 CD로 구울 수 있습니다. Microsoft Windows Media Player는 미디어 재생 요구 사항에 대한 신뢰할 수있는 솔루션입니다.

업데이트 : 2019 년 1 월 17 일

___

Windows

Microsoft Windows Media Player

Linux

yuvsplittoppm ppmtoyuvsplit

개발자는 Gallina 언어에 대한 명령의 구문 또는 언어 인 Gallina "vernacular"를 사용하여 V 파일에 표현식을 지정합니다. V 파일을 작성한 후에는 프로그램 이름이 CoqIDE 인 Coq Proof Assistant Assistant IDE로 컴파일하고 실행할 수 있습니다.

참고 : Coq 개발 팀에서 이전에 유지 관리했던 Coq 개발은 다음과 같습니다. 현재 ADT Coq가 관리하고 있습니다. ADT는 "기술 개발을위한 활동"을 의미합니다.

Linux

CoqIDE