.V Fail Extension

3 jenis fail menggunakan sambungan fail .v .

• 1. Fail Kod Sumber Verilog
• 2. Imej YUV mentah yang dibawah
• 3. Fail Kod Sumber Coq

File Type 1 File Kod Sumber Verilog

Apakah file V?

Fail dengan sambungan fail V boleh menjadi fail kod sumber yang ditulis dalam bahasa penerangan perkakas VerilogKategoriFail Imej RasterFormatPerduaan X

Perduaan

Fail ini disimpan dalam format perduaan, yang memerlukan program tertentu untuk membaca kandungannya.

.V Fail Persatuan 2

Fail imej mentah "V" dicipta oleh ppmtoyuvsplit, program berasaskan Unix yang digunakan untuk membahagikan imej PixMap PortableKategoriFail PemajuFormatTeks X

Teks

Fail ini disimpan dalam format teks biasa. Anda boleh membuka dan melihat kandungan fail ini menggunakan editor teks.

.V Fail Persatuan 3

Fail pemaju yang digunakan oleh Coq, aplikasi yang digunakan untuk membangunkan bukti matematik; disimpan dalam format teks dan mengandungi kod sumber yang dibina dalam bahasa Gallina, yang berdasarkan bahasa formal yang dinamai Kalkulus Konstruktif Induktif (CIC); digunakan untuk menyimpan bukti matematik. Maklumat lanjut

Pemaju menentukan ekspresi dalam fail V menggunakan Gallina "vernakular, " yang merupakan sintaks, atau bahasa arahan, untuk bahasa Gallina. Sebaik sahaja fail V ditulis, mereka boleh dikumpulkan dan dikendalikan dengan Pembuktikan Bukti Penolong Coq, yang mempunyai nama program CoqIDE.

NOTA: Pembangunan untuk Coq, yang sebelum ini dikendalikan oleh Pasukan Pembangunan Coq, kini dikekalkan oleh ADT Coq. ADT bermaksud "Tindakan untuk Pembangunan Teknologi."

Program yang membuka fail V