コンテンツ

• ファイルの種類1Verilogソースコードファイル
• テキスト
• Vファイルとは何ですか？
• ファイルの種類2サブサンプリングされた生のYUV画像
• バイナリ
• .Vファイルの関連付け2
• ファイルの種類3Coqソースコードファイル
• テキスト
• .Vファイルの関連付け3
• Vファイルについて

ファイルの種類1Verilogソースコードファイル

開発者	アクセララ
人気	3.6（25票）
カテゴリー	開発者ファイル
フォーマット	テキストX テキスト このファイルはプレーンテキスト形式で保存されています。テキストエディタを使用してこのファイルの内容を開いて表示することができます。

Vファイルとは何ですか？

Vファイル拡張子のファイルは、Verilogハードウェア記述言語（HDL）で書かれたソースコードファイルです。電子システムのモデルを指定します。 Vファイルには通常、Verilog 2005のソースコードが含まれていますが、Verilog-95やVerilog 2001など、古いVerilog標準のいずれかを使用している可能性もあります。

Verilog 2005はSystemVerilogに置き換えられました。SystemVerilogは以前の標準を基にしていますが、新しい設計モデリング機能を追加しています。 SystemVerilogソースファイルの拡張子は.SVです。

注意： Verilogソースファイルはプレーンテキスト形式で保存され、メモ帳++などのテキストエディタで開くことができます。

無料ダウンロードFile Viewer Plusで.Vファイルを開いて表示します。 Vファイルを開けるプログラム

Windows

ファイルビューアプラス メモ帳++ ザイリンクスISEデザインスイート イカロスベリログ Verilog 2005パーサー ケイデンスデザインシステム SYNAPTICAD VeriLoggerエクストリーム メンターグラフィックスModelSim

マック

イカロスベリログ

Linux

ザイリンクスISEデザインスイート Verilog 2005パーサー イカロスベリログ

更新11/27/2018

ファイルの種類2サブサンプリングされた生のYUV画像

開発者	該当なし
人気	3.3（9票）
カテゴリー	ラスターイメージファイル
フォーマット	バイナリX バイナリ このファイルはバイナリ形式で保存されます。そのためには、その内容を読み取るための特定のプログラムが必要です。

.Vファイルの関連付け2

ppmtoyuvsplit、Portable PixMap画像（.PPMファイル）を.Y、.U、およびVファイルに分割するために使用されるUnixベースのプログラムによって作成された生の "V"画像ファイル。画像の「Ｖ」クロミナンス、すなわち色成分を格納する。 yuvsplittoppmユーティリティを使用して、元のPPMファイルに復元することができます。詳しくは

Vファイルは、スタンフォードのMPEGコーデックで要求されるフォーマットで画像データを保存します。

注意： yuvsplittoppmおよびppmtoyuvsplitコマンドラインユーティリティは、netpbm Unixベースグラフィックスパッケージの一部です。

Vファイルを開けるプログラム

Windows

YUV Geniusパッケージを搭載したMicrosoft Windows Media Player QuickTime YUVコーデックを搭載したApple QuickTime Player

マック	QuickTime YUVコーデックを搭載したApple QuickTime Player

Linux

yuvsplittoppm ppmtoyuvsplit

2010年5月26日更新

ファイルの種類3Coqソースコードファイル

開発者	ADT Coq
人気	2.9（7票）
カテゴリー	開発者ファイル
フォーマット	テキストX テキスト このファイルはプレーンテキスト形式で保存されています。テキストエディタを使用してこのファイルの内容を開いて表示することができます。

.Vファイルの関連付け3

Coqによって使用される開発者ファイル、数学的証明を開発するために使用されるアプリケーション。テキスト形式で保存され、Gallina言語で構築されたソースコードを含みます。これは、Calculus of Inductive Constructions（CIC）と呼ばれる表現形式言語に基づいています。数学的証明を保存するために使用されます。詳しくは

開発者は、Gallina言語のシンタックス、またはコマンドの言語であるGallinaの "vernacular"を使用して、Vファイルで式を指定します。 Vファイルが作成されたら、それらをCoqIDEというプログラム名のCoq Proof Assistant IDEでコンパイルして実行できます。

注意： 以前はThe Coq Development Teamによって維持されていたCoqの開発は、現在はADT Coqによって維持されています。 ADTは「技術開発のための行動」の略です。

Vファイルを開けるプログラム

Windows

CoqIDE

マック

CoqIDE

Linux

CoqIDE

2010年12月6日更新

Vファイルについて

私たちの目的は、*。v拡張子を持つファイルが何であるか、そしてそれを開く方法を理解するのを助けることです。

このページに記載されているすべてのファイルの種類、ファイル形式の説明、およびソフトウェアプログラムは、FileInfoチームによって個別に調査および検証されています。私達は100％の正確さを目指して努力し、そして私達がテストしそして検証したファイルフォーマットについての情報を公表するだけです。

このページへの追加や更新を提案したい場合は、私たちに知らせてください。