.V ไฟล์นามสกุล

3 ประเภทไฟล์ใช้นามสกุลไฟล์ . v

• 1. ไฟล์รหัสที่มา Verilog
• 2. รูปภาพ Raw YUV แบบ Subsampled
• 3. Coq ซอร์สโค้ดไฟล์

ไฟล์ Type 1 ไฟล์ซอร์สโค้ด Verilog

ไฟล์ V คืออะไร

ไฟล์ที่มีนามสกุลไฟล์ V อาจเป็นไฟล์รหัสต้นฉบับที่เขียนในภาษาคำอธิบายฮาร์ดแวร์ Verilogประเภทไฟล์ภาพ Rasterรูปไบนารี X

เลขฐานสอง

ไฟล์นี้ถูกบันทึกในรูปแบบไบนารี่ซึ่งต้องการโปรแกรมเฉพาะเพื่ออ่านเนื้อหา

.V สมาคมไฟล์ 2

ไฟล์รูปภาพ "V" ที่สร้างโดย ppmtoyuvsplit ซึ่งเป็นโปรแกรมที่ใช้ Unix ซึ่งใช้ในการแยกภาพ PixMap แบบพกพาประเภทไฟล์นักพัฒนารูปข้อความ X

ข้อความ

ไฟล์นี้ถูกบันทึกในรูปแบบข้อความล้วน คุณสามารถเปิดและดูเนื้อหาของไฟล์นี้โดยใช้โปรแกรมแก้ไขข้อความ

.V สมาคมไฟล์ 3

ไฟล์นักพัฒนาซอฟต์แวร์ที่ใช้โดย Coq ซึ่งเป็นแอปพลิเคชันที่ใช้ในการพัฒนาหลักฐานทางคณิตศาสตร์ บันทึกในรูปแบบข้อความและมีซอร์สโค้ดที่สร้างขึ้นในภาษา Gallina ซึ่งมีพื้นฐานมาจากภาษาทางการที่เป็นทางการที่เรียกว่าแคลคูลัสของการสร้างอุปนัย ใช้สำหรับเก็บหลักฐานทางคณิตศาสตร์ ข้อมูลมากกว่านี้

ผู้พัฒนาระบุนิพจน์ในไฟล์ V โดยใช้ Gallina "vernacular" ซึ่งเป็นไวยากรณ์หรือภาษาของคำสั่งสำหรับภาษา Gallina เมื่อเขียนไฟล์ V ไฟล์เหล่านั้นจะสามารถรวบรวมและรันด้วย Coq Proof Assistant IDE ซึ่งมีชื่อโปรแกรม CoqIDE

หมายเหตุ: การพัฒนา Coq ซึ่งก่อนหน้านี้ได้รับการดูแลโดยทีมพัฒนา Coq นั้นได้รับการปรับปรุงโดย ADT Coq ADT ย่อมาจาก "การดำเนินการเพื่อการพัฒนาเทคโนโลยี"

โปรแกรมที่เปิดไฟล์ V