NộI Dung
- Loại tệp 1 Tập tin mã nguồn
- Bản văn
- Tập tin V là gì?
- Loại tệp 2 Hình ảnh YUV thô được ghép
- Nhị phân
- .V Hiệp hội tập tin 2
- Loại tệp 3Coq Mã nguồn
- Bản văn
- .V Hiệp hội tập tin 3
- Giới thiệu về tập tin V
Loại tệp 1 Tập tin mã nguồn
Tập tin V là gì?
Một tệp có phần mở rộng tệp V có thể là tệp mã nguồn được viết bằng ngôn ngữ mô tả phần cứng Verilog (HDL). Nó chỉ định một mô hình của một hệ thống điện tử. Các tệp V thường chứa mã nguồn Verilog 2005, nhưng chúng cũng có thể sử dụng một trong các tiêu chuẩn Verilog cũ hơn, chẳng hạn như Verilog-95 hoặc Verilog 2001. Thông tin thêm
Verilog 2005 đã được thay thế bởi SystemVerilog, được xây dựng dựa trên tiêu chuẩn trước đó nhưng thêm các tính năng mô hình thiết kế mới. Các tệp nguồn SystemVerilog có phần mở rộng tệp .SV.
CHÚ THÍCH: Các tệp nguồn Verilog được lưu ở định dạng văn bản thuần túy và có thể được mở trong trình soạn thảo văn bản như Notepad ++.
TẢI XUỐNG MIỄN PHÍ Mở và xem các tệp .V bằng File Viewer Plus. Các chương trình mở tệp V| các cửa sổ |
|
| Mac |
|
| Linux |
|
Loại tệp 2 Hình ảnh YUV thô được ghép
.V Hiệp hội tập tin 2
Tệp hình ảnh "V" thô được tạo bởi ppmtoyuvsplit, một chương trình dựa trên Unix được sử dụng để phân chia hình ảnh Portable PixMap (tệp .PPM) thành các tệp .Y, .U và V; lưu trữ sắc độ "V" hoặc màu sắc, thành phần cho hình ảnh; có thể được khôi phục trở lại tệp PPM ban đầu bằng tiện ích yuvsplittoppm. Thêm thông tin
Các tệp V lưu trữ dữ liệu hình ảnh theo định dạng theo yêu cầu của codec Stanford MPEG.
CHÚ THÍCH: Các tiện ích dòng lệnh yuvsplittoppm và ppmtoyuvsplit là một phần của gói đồ họa dựa trên Unix netpbm.
Các chương trình mở tệp V| các cửa sổ |
|
| Mac |
|
| Linux |
|
Loại tệp 3Coq Mã nguồn
.V Hiệp hội tập tin 3
Tệp nhà phát triển được sử dụng bởi Coq, một ứng dụng được sử dụng để phát triển các bằng chứng toán học; được lưu ở định dạng văn bản và chứa mã nguồn được xây dựng bằng ngôn ngữ Gallina, dựa trên một ngôn ngữ chính thức biểu cảm được gọi là Giải tích các công trình quy nạp (CIC); được sử dụng để lưu trữ bằng chứng toán học. Thêm thông tin
Các nhà phát triển chỉ định các biểu thức trong các tệp V bằng cách sử dụng "vernacular" của Gallina, đó là cú pháp hoặc ngôn ngữ của các lệnh cho ngôn ngữ Gallina. Khi các tệp V được ghi, chúng có thể được biên dịch và chạy với IDE trợ lý Coq Proof, có tên chương trình CoqIDE.
CHÚ THÍCH: Phát triển cho Coq, được duy trì trước đây bởi Nhóm phát triển Coq, hiện được ADT Coq duy trì. ADT là viết tắt của "Hành động vì sự phát triển công nghệ."
Các chương trình mở tệp V| các cửa sổ |
|
| Mac |
|
| Linux |
|
Giới thiệu về tập tin V
Mục tiêu của chúng tôi là giúp bạn hiểu tệp có hậu tố * .v là gì và cách mở tệp.
Tất cả các loại tệp, mô tả định dạng tệp và chương trình phần mềm được liệt kê trên trang này đã được nhóm FileInfo nghiên cứu và xác minh riêng lẻ. Chúng tôi cố gắng cho độ chính xác 100% và chỉ xuất bản thông tin về các định dạng tệp mà chúng tôi đã kiểm tra và xác nhận.
Nếu bạn muốn đề xuất bất kỳ bổ sung hoặc cập nhật nào cho trang này, vui lòng cho chúng tôi biết.
