المحتوى

• نوع الملف 1Verilog ملف شفرة المصدر
• نص
• ما هو ملف V؟
• نوع الملف 2Subsampled YUV الخام صورة
• الثنائية
• جمعية ملف الخامس
• نوع الملف 3Coq ملف التعليمات البرمجية المصدر
• نص
• جمعية ملف الخامس
• حول ملفات الخامس

نوع الملف 1Verilog ملف شفرة المصدر

مطور	Accellera
شعبية	3.6 (25 صوتا)
الفئة	ملفات المطور
شكل	النص العاشر نص يتم حفظ هذا الملف بتنسيق نص عادي. يمكنك فتح وعرض محتويات هذا الملف باستخدام محرر نصوص.

ما هو ملف V؟

قد يكون الملف ذو امتداد الملف V عبارة عن ملف شفرة مصدر مكتوب بلغة وصف أجهزة Verilog (HDL). تحدد نموذجًا للنظام الإلكتروني. تحتوي ملفات V عادةً على شفرة مصدر Verilog 2005 ، لكنها قد تستخدم أيضًا أحد معايير Verilog الأقدم ، مثل Verilog-95 أو Verilog 2001. مزيد من المعلومات

تم استبدال Verilog 2005 بواسطة SystemVerilog ، الذي يبني المعايير السابقة ولكنه يضيف ميزات جديدة لنمذجة التصميم. الملفات المصدر SystemVerilog لها ملحق ملف .SV.

ملحوظة: يتم حفظ ملفات مصدر Verilog بتنسيق نص عادي ويمكن فتحها في محرر نصوص مثل Notepad ++.

تنزيل مجاني افتح واعرض ملفات .V مع File Viewer Plus. البرامج التي تفتح ملفات الخامس

شبابيك

ملف عارض زائد المفكرة ++ Xilinx ISE Design Suite إيكاروس فيريلوج فيريلوج 2005 محلل نظم تصميم الإيقاع SYNAPTICAD VeriLogger المتطرفة Mentor Graphics ModelSim

ماك	إيكاروس فيريلوج

لينكس

Xilinx ISE Design Suite فيريلوج 2005 محلل إيكاروس فيريلوج

تم التحديث في 11/27/2018

نوع الملف 2Subsampled YUV الخام صورة

مطور	N / A
شعبية	3.3 (9 أصوات)
الفئة	ملفات الصور النقطية
شكل	ثنائي X الثنائية يتم حفظ هذا الملف بتنسيق ثنائي ، مما يتطلب برنامجًا محددًا لقراءة محتوياته.

جمعية ملف الخامس

ملف صورة خام "V" تم إنشاؤه بواسطة ppmtoyuvsplit ، وهو برنامج يستند إلى Unix يستخدم لتقسيم صور PixMap المحمولة (ملفات .PPM) إلى ملفات .Y و .U و V ؛ يخزن اللون "V" أو اللون أو مكون الصورة ؛ قد تتم استعادة مرة أخرى إلى ملف PPM الأصلي باستخدام الأداة المساعدة yuvsplittoppm. معلومات اكثر

تقوم ملفات V بتخزين بيانات الصور بتنسيق يتطلبه برنامج الترميز Stanford MPEG.

ملحوظة: الأدوات المساعدة لسطر الأوامر yuvsplittoppm و ppmtoyuvsplit جزء من حزمة الرسومات المستندة إلى netpbm Unix.

البرامج التي تفتح ملفات الخامس

شبابيك

مايكروسوفت ويندوز ميديا ​​بلاير مع حزمة YUV Genius Apple QuickTime Player مع برنامج ترميز QuickTime YUV

ماك	Apple QuickTime Player مع برنامج ترميز QuickTime YUV

لينكس

yuvsplittoppm ppmtoyuvsplit

تحديث 5/26/2010

نوع الملف 3Coq ملف التعليمات البرمجية المصدر

مطور	ADT Coq
شعبية	2.9 (7 أصوات)
الفئة	ملفات المطور
شكل	النص العاشر نص يتم حفظ هذا الملف بتنسيق نص عادي. يمكنك فتح وعرض محتويات هذا الملف باستخدام محرر نصوص.

جمعية ملف الخامس

ملف مطور يستخدمه Coq ، تطبيق يستخدم لتطوير البراهين الرياضية ؛ المحفوظة بتنسيق نصي ويحتوي على شفرة المصدر التي تم إنشاؤها في لغة غالينا ، والتي تستند إلى لغة رسمية معبرة تسمى حساب التفاضل والتكامل الإنشائي (CIC) ؛ تستخدم لتخزين البراهين الرياضية. معلومات اكثر

يحدد المطورون التعبيرات في ملفات V باستخدام Gallina "العامية" ، وهي بناء الجملة أو لغة الأوامر ، للغة Gallina. بمجرد كتابة ملفات V ، يمكن تجميعها وتشغيلها باستخدام Coq Proof Assistant IDE ، الذي يحمل اسم البرنامج CoqIDE.

ملحوظة: تقوم شركة ADT Coq بصيانة التطوير لشركة Coq ، والتي كان يتم صيانتها مسبقًا بواسطة فريق تطوير Coq. ADT لتقف على "العمل من أجل التنمية التكنولوجية."

البرامج التي تفتح ملفات الخامس

شبابيك

CoqIDE

ماك

CoqIDE

لينكس

CoqIDE

تحديث 12/6/2010

حول ملفات الخامس

هدفنا هو مساعدتك في فهم ماهية الملف ذو اللاحقة * .v وكيفية فتحه.

جميع أنواع الملفات وأوصاف تنسيق الملفات والبرامج المدرجة في هذه الصفحة قد تم البحث فيها والتحقق منها بشكل فردي بواسطة فريق FileInfo. نحن نسعى جاهدين للحصول على دقة 100 ٪ وننشر فقط معلومات حول تنسيقات الملفات التي قمنا باختبارها والتحقق من صحتها.

إذا كنت ترغب في اقتراح أي إضافات أو تحديثات لهذه الصفحة ، فيرجى إخبارنا بذلك.