Περιεχόμενο

• Τύπος αρχείου 1Verilog αρχείο πηγαίου κώδικα
• Κείμενο
• Τι είναι ένα αρχείο V;
• Τύπος αρχείου 2 Υψηλή εικόνα YUV υποδειγματοληψίας
• Δυάδικος
• .V Association File 2
• Αρχείο Αρχείου πηγαίου κώδικα τύπου 3Coq
• Κείμενο
• .V Association File 3
• Σχετικά με τα αρχεία V

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

Προγραμματιστής	Accellera
Δημοτικότητα	3.6 (25 ψήφοι)
Κατηγορία	Αρχεία προγραμματιστή
Μορφή	Κείμενο X Κείμενο Αυτό το αρχείο αποθηκεύεται σε μορφή απλού κειμένου. Μπορείτε να ανοίξετε και να προβάλετε τα περιεχόμενα αυτού του αρχείου χρησιμοποιώντας ένα πρόγραμμα επεξεργασίας κειμένου.

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

Ένα αρχείο με επέκταση αρχείου V μπορεί να είναι ένα αρχείο πηγαίου κώδικα γραμμένο στη γλώσσα περιγραφής υλικού Verilog (HDL). Προσδιορίζει ένα μοντέλο ηλεκτρονικού συστήματος. Τα αρχεία V περιέχουν συνήθως πηγαίο κώδικα Verilog 2005, αλλά μπορούν επίσης να χρησιμοποιήσουν ένα από τα παλαιότερα πρότυπα Verilog, όπως το Verilog-95 ή το Verilog 2001. Περισσότερες πληροφορίες

Το Verilog 2005 έχει αντικατασταθεί από το SystemVerilog, το οποίο βασίζεται στο προηγούμενο πρότυπο, αλλά προσθέτει νέα χαρακτηριστικά σχεδίασης μοντέλων. Τα αρχεία προέλευσης SystemVerilog έχουν επέκταση αρχείου .SV.

ΣΗΜΕΙΩΣΗ: Τα αρχεία προέλευσης Verilog αποθηκεύονται σε μορφή απλού κειμένου και μπορούν να ανοίξουν σε ένα πρόγραμμα επεξεργασίας κειμένου όπως το Notepad ++.

ΔΩΡΕΑΝ DOWNLOAD Ανοίξτε και δείτε τα αρχεία .V με το File Viewer Plus. Προγράμματα που ανοίγουν αρχεία V

Windows

Αρχείο προβολής Plus Σημειωματάριο ++ Xilinx ISE Design Suite Icarus Verilog Αναλυτής Verilog 2005 Cadence Design Systems Incisive SYNAPTICAD VeriLogger Extreme Mentor Graphics ModelSim

Μακ	Icarus Verilog

Linux

Xilinx ISE Design Suite Αναλυτής Verilog 2005 Icarus Verilog

Ενημερώθηκε 11/27/2018

Τύπος αρχείου 2 Υψηλή εικόνα YUV υποδειγματοληψίας

Προγραμματιστής	N / A
Δημοτικότητα	3.3 (9 ψήφοι)
Κατηγορία	Αρχεία εικόνας ράστερ
Μορφή	Δυαδικό X Δυάδικος Αυτό το αρχείο αποθηκεύεται σε δυαδική μορφή, η οποία απαιτεί ένα συγκεκριμένο πρόγραμμα για να διαβάσει τα περιεχόμενά του.

.V Association File 2

Raw αρχείο εικόνας "V" που δημιουργήθηκε από το ppmtoyuvsplit, ένα πρόγραμμα που βασίζεται σε Unix που χρησιμοποιείται για τη διάσπαση φορητών εικόνων PixMap (αρχεία .PPM) σε αρχεία .Y, .U και V. αποθηκεύει το χρώμα "V" χρώματος, ή χρώμα, στοιχείο για την εικόνα? μπορεί να επαναφερθεί στο αρχικό αρχείο PPM χρησιμοποιώντας το βοηθητικό πρόγραμμα yuvsplittoppm. Περισσότερες πληροφορίες

V αποθηκεύουν δεδομένα εικόνας σε μορφή που απαιτείται από τον κωδικοποιητή MPEG του Stanford.

ΣΗΜΕΙΩΣΗ: Τα βοηθητικά εργαλεία γραμμής εντολών yuvsplittoppm και ppmtoyuvsplit αποτελούν μέρος του πακέτου γραφικών netpbm που βασίζεται σε Unix.

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

Windows

Microsoft Windows Media Player με πακέτο YUV Genius Apple QuickTime Player με κωδικοποιητή QuickTime YUV

Μακ	Apple QuickTime Player με κωδικοποιητή QuickTime YUV

Linux

yuvsplittoppm ppmtoyuvsplit

Ενημερώθηκε 5/26/2010

Αρχείο Αρχείου πηγαίου κώδικα τύπου 3Coq

Προγραμματιστής	ADT Coq
Δημοτικότητα	2.9 (7 ψήφοι)
Κατηγορία	Αρχεία προγραμματιστή
Μορφή	Κείμενο X Κείμενο Αυτό το αρχείο αποθηκεύεται σε μορφή απλού κειμένου. Μπορείτε να ανοίξετε και να προβάλετε τα περιεχόμενα αυτού του αρχείου χρησιμοποιώντας ένα πρόγραμμα επεξεργασίας κειμένου.

.V Association File 3

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

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

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

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

Windows

CoqIDE

Μακ

CoqIDE

Linux

CoqIDE

Ενημερώθηκε 12/6/2010

Σχετικά με τα αρχεία V

Ο στόχος μας είναι να σας βοηθήσουμε να καταλάβετε τι είναι ένα αρχείο με κατάληξη * .v και πώς να το ανοίξετε.

Όλοι οι τύποι αρχείων, οι περιγραφές μορφής αρχείου και τα προγράμματα λογισμικού που αναφέρονται σε αυτήν τη σελίδα έχουν ερευνηθεί και επαληθευτεί ξεχωριστά από την ομάδα FileInfo. Αγωνιζόμαστε για ακρίβεια 100% και δημοσιεύουμε μόνο πληροφορίες σχετικά με τις μορφές αρχείων που έχουμε δοκιμάσει και επικυρώσει.

Εάν θέλετε να προτείνετε προσθήκες ή ενημερώσεις αυτής της σελίδας, ενημερώστε μας.