.V Extension αρχείου

3 τύποι αρχείων χρησιμοποιούν την επέκταση αρχείου .v .

• 1. Αρχείο πηγαίου κώδικα Verilog
• 2. Υψηλή εικόνα YUV υποδειγματοληψίας
• 3. Αρχείο πηγαίου κώδικα Coq

Τύπος αρχείου 1 Αρχείο πηγαίου κώδικα Verilog

Τι είναι ένα αρχείο V;

Ένα αρχείο με επέκταση αρχείου V μπορεί να είναι ένα αρχείο πηγαίου κώδικα γραμμένο στη γλώσσα περιγραφής υλικού VerilogΚατηγορίαΑρχεία εικόνας ράστερΜορφήΔυαδικό X

Δυάδικος

Αυτό το αρχείο αποθηκεύεται σε δυαδική μορφή, η οποία απαιτεί ένα συγκεκριμένο πρόγραμμα για να διαβάσει τα περιεχόμενά του.

.V Association File 2

Ακατέργαστο αρχείο εικόνας "V" που δημιουργήθηκε από το ppmtoyuvsplit, ένα πρόγραμμα βασισμένο σε Unix που χρησιμοποιείται για τη διάσπαση φορητών εικόνων PixMapΚατηγορίαΑρχεία προγραμματιστήΜορφήΚείμενο X

Κείμενο

Αυτό το αρχείο αποθηκεύεται σε μορφή απλού κειμένου. Μπορείτε να ανοίξετε και να προβάλετε τα περιεχόμενα αυτού του αρχείου χρησιμοποιώντας ένα πρόγραμμα επεξεργασίας κειμένου.

.V Association File 3

Αρχείο προγραμματιστή που χρησιμοποιείται από την Coq, μια εφαρμογή που χρησιμοποιείται για την ανάπτυξη μαθηματικών αποδείξεων. αποθηκεύεται σε μορφή κειμένου και περιέχει πηγαίο κώδικα που είναι κατασκευασμένο στη γλώσσα Gallina, το οποίο βασίζεται σε μια εκφραστική επίσημη γλώσσα που ονομάζεται Λογισμός Επαγωγικών Κατασκευών (CIC). που χρησιμοποιείται για την αποθήκευση μαθηματικών αποδείξεων. Περισσότερες πληροφορίες

Οι προγραμματιστές καθορίζουν εκφράσεις σε αρχεία V με τη χρήση της λέξης "Gallina", η οποία είναι η σύνταξη ή η γλώσσα των εντολών για τη γλώσσα Gallina. Αφού γραφτούν τα αρχεία V, μπορούν να συνταχθούν και να εκτελεστούν με το IDE του Coq Proof Assistant, το οποίο έχει το όνομα του προγράμματος CoqIDE.

ΣΗΜΕΙΩΣΗ: Η ανάπτυξη για το Coq, η οποία διατηρήθηκε προηγουμένως από την Ομάδα Ανάπτυξης Coq, διατηρείται τώρα από την ADT Coq. Το ADT σημαίνει "Δράση για την Τεχνολογική Ανάπτυξη".

Προγράμματα που ανοίγουν αρχεία V