پسوند فایل V
فایل کد منبع نوشته شده به زبان توصیف سخت افزار Verilog (HDL) است؛ معمولا حاوی کد منبع Verilog 2005 است اما ممکن است یکی از سایر استانداردهای Verilog را به کار ببرد که شامل Verilog-95، Verilog 2001 و SystemVerilog است؛ برای مشخص سازی مدل های سیستم الکترونیکی به کار می رود.
تصویر YUV خام نمونه برداری شده فرعی
فایل تصویر "V" خام مورد استفاده ppmtoyuvsplit است، برنامه Unix بنیان که به منظور جدا کردن تصاویر PixMap (فایل های .PPM) به صورت فایل های .Y, .U و V به کار می رود؛ مولفه رنگ تابی "V"، یا رنگ تصویر را نگه می دارد؛ می تواند با استفاده از امکانات yuvsplittoppm به فایل PPM اصلی برگردانده شود.
فایل های V داده های تصویر را به فرمت مورد نیاز رمزگذار-رمزگشای Stanford MPEG نگه می دارند.
نکته: امکانات خط فرمان yuvsplittoppm and ppmtoyuvsplit بخشی از بسته گرافیک Unix بنیان netpbm هستند.
فایل کد منبع Coq
فایل سازنده تهیه شده توسط Coq است، برنامه ای که برای تهیه اثبات های ریاضی به کار می رود؛ به فرمت متن ذخیره می شود و حاوی کد منبع ساخته شده به زبان Gallina است که براساس زبان رسمی گویایی به نام حساب دیفرانسیل و انتگرال ساختارهای القایی (CIC) می باشد؛ برای نگهداری اثبات های ریاضی به کار می رود.
سازنده ها با استفاده از "زبان بومی" Gallina که دستور العمل یا زبان فرمان ها برای زبان Gallina است عبارات را در فایل V مشخص می کنند. وقتی فایل های V نوشته می شوند، می توانند با IDE دستیار اثبات Coq که نام برنامه های CoqIDE دارد همگردانی و اجرا شوند.
نکته: تولید Coq که قبلا توسط تیم توسعه Coq صورت می گرفت حالا متعلق به ADTCoq است. ADT مخفف "اقدام برای توسعه تکنولوژیکی" است.
