ไฟล์นามสกุล .v
ประเภทไฟล์1Verilog Source Code File
| ผู้พัฒนา | Accellera |
| หมวดหมู่ | Developer Files |
| รูป | Text |
คืออะไร V ไฟล์?
ไฟล์ที่มีนามสกุลไฟล์ V อาจเป็นไฟล์รหัสต้นฉบับที่เขียนในภาษาคำอธิบายฮาร์ดแวร์ Verilog (HDL) มันระบุรูปแบบของระบบอิเล็กทรอนิกส์ โดยปกติไฟล์วีจะมีซอร์สโค้ดของ Verilog 2005 แต่อาจใช้หนึ่งในมาตรฐาน Verilog ที่เก่ากว่าเช่น Verilog-95 หรือ Verilog 2001
Verilog 2005 ถูกแทนที่โดย SystemVerilog ซึ่งสร้างขึ้นจากมาตรฐานก่อนหน้านี้ แต่เพิ่มคุณสมบัติการสร้างแบบจำลองการออกแบบใหม่ ไฟล์ต้นฉบับของ SystemVerilog มีนามสกุลไฟล์ .SV
หมายเหตุ: ไฟล์ต้นฉบับของ Verilog จะถูกบันทึกในรูปแบบข้อความธรรมดาและสามารถเปิดได้ในโปรแกรมแก้ไขข้อความเช่น Notepad ++
ประเภทไฟล์2Subsampled Raw YUV Image
| ผู้พัฒนา | N/A |
| หมวดหมู่ | Raster Image Files |
| รูป | Binary |
.V หมายเลขตัวเลือก 2
ไฟล์ V เก็บข้อมูลภาพในรูปแบบที่ต้องการโดยตัวแปลงสัญญาณ MPEG Stanford
หมายเหตุ: ยูทิลิตี้บรรทัดคำสั่ง yuvsplittoppm และ ppmtoyuvsplit เป็นส่วนหนึ่งของแพคเกจกราฟิกที่ใช้ Unix netpbm / p>
| Windows |
|
| Linux |
|
ประเภทไฟล์3Coq Source Code File
| ผู้พัฒนา | ADT Coq |
| หมวดหมู่ | Developer Files |
| รูป | Text |
.V หมายเลขตัวเลือก 3
ไฟล์นักพัฒนาซอฟต์แวร์ที่ใช้โดย Coq ซึ่งเป็นแอปพลิเคชันที่ใช้ในการพัฒนาหลักฐานทางคณิตศาสตร์ บันทึกในรูปแบบข้อความและมีซอร์สโค้ดที่สร้างขึ้นในภาษา Gallina ซึ่งมีพื้นฐานมาจากภาษาทางการที่เป็นทางการที่เรียกว่าแคลคูลัสของการสร้างอุปนัย (CIC); ใช้สำหรับเก็บหลักฐานทางคณิตศาสตร์
นักพัฒนาระบุนิพจน์ในไฟล์ V โดยใช้ Gallina "vernacular" ซึ่งเป็นไวยากรณ์หรือภาษาของคำสั่งสำหรับภาษา Gallina เมื่อเขียนไฟล์ V ไฟล์เหล่านั้นจะสามารถรวบรวมและรันด้วย Coq Proof Assistant IDE ซึ่งมีชื่อโปรแกรม CoqIDE
หมายเหตุ: การพัฒนาสำหรับ Coq ซึ่งก่อนหน้านี้ได้รับการดูแลโดย Coq Development Team คือ ตอนนี้ดูแลโดย ADT Coq ADT ย่อมาจาก "การดำเนินการเพื่อการพัฒนาเทคโนโลยี"
| Linux |
|