Ekstensi File .V

3 jenis file menggunakan ekstensi file .v .

• 1. File Kode Sumber Verilog
• 2. Gambar YUV Mentah Berlangganan
• 3. File Kode Sumber Coq

Jenis File 1 File Kode Sumber Verilog

Apa itu file V?

File dengan ekstensi file V mungkin file kode sumber yang ditulis dalam bahasa deskripsi perangkat keras VerilogKategoriFile Gambar RasterFormatBiner X

Biner

File ini disimpan dalam format biner, yang membutuhkan program khusus untuk membaca isinya.

Asosiasi File .V 2

File gambar mentah "V" dibuat oleh ppmtoyuvsplit, program berbasis Unix yang digunakan untuk memisahkan gambar Portable PixMapKategoriFile PengembangFormatTeks X

Teks

File ini disimpan dalam format teks biasa. Anda dapat membuka dan melihat konten file ini menggunakan editor teks.

Asosiasi File .V 3

File pengembang digunakan oleh Coq, aplikasi yang digunakan untuk mengembangkan bukti matematika; disimpan dalam format teks dan berisi kode sumber yang dibuat dalam bahasa Gallina, yang didasarkan pada bahasa formal ekspresif yang disebut Calculus of Inductive Constructions (CIC); digunakan untuk menyimpan bukti matematika. Informasi Lebih Lanjut

Pengembang menentukan ekspresi dalam file V menggunakan Gallina "vernacular, " yang merupakan sintaks, atau bahasa perintah, untuk bahasa Gallina. Setelah file V ditulis, mereka dapat dikompilasi dan dijalankan dengan Coq Proof Assistant IDE, yang memiliki nama program CoqIDE.

CATATAN: Pengembangan untuk Coq, yang sebelumnya dikelola oleh Tim Pengembangan Coq, sekarang dikelola oleh ADT Coq. ADT singkatan dari "Aksi untuk Pengembangan Teknologi."

Program yang membuka file V