3 फ़ाइल प्रकार .v फ़ाइल एक्सटेंशन का उपयोग करते हैं।
- 1. वेरिलोग सोर्स कोड फ़ाइल
- 2. रॉ YUV इमेज को सब्सक्राइब किया
- 3. Coq स्रोत कोड फ़ाइल
फ़ाइल प्रकार 1 वेरिलॉग स्रोत कोड फ़ाइल
| डेवलपर | Accellera |
| लोकप्रियता | 3.5 |
| वर्ग | डेवलपर फ़ाइलें |
| स्वरूप | पाठ X टेक्स्टयह फ़ाइल एक सादे पाठ प्रारूप में सहेजी गई है। आप पाठ संपादक का उपयोग करके इस फ़ाइल की सामग्री को खोल और देख सकते हैं। |
V फाइल क्या है?
V फाइल एक्सटेंशन वाली फाइल वेरिलॉग हार्डवेयर डिस्क्रिप्शन लैंग्वेज में एक सोर्स कोड फाइल हो सकती है
बाइनरी
यह फ़ाइल एक द्विआधारी प्रारूप में सहेजी गई है, जिसे इसकी सामग्री को पढ़ने के लिए एक विशिष्ट कार्यक्रम की आवश्यकता होती है।
.V फ़ाइल एसोसिएशन 2
Ppmtoyuvsplit द्वारा बनाई गई रॉ "V" छवि फ़ाइल, पोर्टेबल पिक्सल्स छवियों को विभाजित करने के लिए उपयोग किया जाने वाला एक यूनिक्स-आधारित कार्यक्रम है
टेक्स्ट
यह फ़ाइल एक सादे पाठ प्रारूप में सहेजी गई है। आप पाठ संपादक का उपयोग करके इस फ़ाइल की सामग्री को खोल और देख सकते हैं।
.V फ़ाइल एसोसिएशन 3
Coq द्वारा उपयोग की गई डेवलपर फ़ाइल, गणितीय प्रमाण विकसित करने के लिए उपयोग किया जाने वाला एप्लिकेशन; एक पाठ प्रारूप में सहेजा गया है और इसमें गैलिना भाषा में निर्मित स्रोत कोड शामिल है, जो एक औपचारिक औपचारिक भाषा पर आधारित है जिसे कैलकुलस ऑफ इंडक्टिव कंस्ट्रक्शंस (CIC) कहा जाता है; गणितीय प्रमाण संग्रहीत करने के लिए उपयोग किया जाता है। अधिक जानकारी
डेवलपर्स गैलिना की "सिग्नरिज़क" का उपयोग करके वी फ़ाइलों में अभिव्यक्तियाँ निर्दिष्ट करते हैं, जो कि गैलिना भाषा के लिए वाक्यविन्यास, या कमांड की भाषा है। एक बार जब वी फाइलें लिखी जाती हैं, तो उन्हें कॉक्स प्रूफ असिस्टेंट आईडीई के साथ संकलित और चलाया जा सकता है, जिसका प्रोग्राम नाम CoIDE है।
नोट: Coq के लिए विकास, जो पहले Coq Development Team द्वारा बनाए रखा गया था, अब ADT Coq द्वारा बनाए रखा गया है। एडीटी का अर्थ है "एक्शन फॉर टेक्नोलॉजिकल डेवलपमेंट।"
प्रोग्राम जो वी फाइलें खोलते हैं
| विंडोज |
|
| मैक |
|
| लिनक्स |
|
