أنواع الملفات الثلاثة تستخدم امتداد الملف .v .
- 1. فيريلوج ملف التعليمات البرمجية المصدر
- 2. Subsampled الخام صورة YUV
- 3. Coq ملف التعليمات البرمجية المصدر
نوع الملف 1 فيريلوج ملف التعليمات البرمجية المصدر
| مطور | Accellera |
| شعبية | 3.5 |
| الفئة | ملفات المطور |
| شكل | النص العاشر نصيتم حفظ هذا الملف بتنسيق نص عادي. يمكنك فتح وعرض محتويات هذا الملف باستخدام محرر نصوص. |
ما هو ملف V؟
قد يكون الملف ذو امتداد الملف V عبارة عن ملف شفرة مصدر مكتوب بلغة وصف أجهزة Verilog
الثنائية
يتم حفظ هذا الملف في تنسيق ثنائي ، والذي يتطلب برنامج معين لقراءة محتوياته.
جمعية ملف الخامس
ملف صورة خام "V" تم إنشاؤه بواسطة ppmtoyuvsplit ، برنامج يستند إلى Unix يستخدم لتقسيم الصور المحمولة PixMap
نص
يتم حفظ هذا الملف بتنسيق نص عادي. يمكنك فتح وعرض محتويات هذا الملف باستخدام محرر نصوص.
جمعية ملف الخامس
ملف مطور يستخدمه Coq ، تطبيق يستخدم لتطوير البراهين الرياضية ؛ المحفوظة بتنسيق نصي ويحتوي على شفرة المصدر التي تم إنشاؤها في لغة غالينا ، والتي تستند إلى لغة رسمية معبرة تسمى حساب التفاضل والتكامل الإنشائي (CIC) ؛ تستخدم لتخزين البراهين الرياضية. معلومات اكثر
يحدد المطورون التعبيرات في ملفات V باستخدام Gallina "العامية" ، وهي بناء الجملة أو لغة الأوامر ، للغة Gallina. بمجرد كتابة ملفات V ، يمكن تجميعها وتشغيلها باستخدام Coq Proof Assistant IDE ، الذي يحمل اسم البرنامج CoqIDE.
ملاحظة: يتم الآن تطوير شركة Coq ، والتي تم صيانتها مسبقًا بواسطة فريق تطوير Coq ، بواسطة شركة ADT Coq. ADT لتقف على "العمل من أجل التنمية التكنولوجية."
البرامج التي تفتح ملفات الخامس
| شبابيك |
|
| ماك |
|
| لينكس |
|
