デフォルトでは、すべてのソフトウェアが複数のファイル拡張子をサポートしています。 Bluespec Development Workstationは、少なくとも1個の異なるファイル拡張子をサポートします。 Bluespec Development Workstationがサポートする基本ファイルは.BSVです。ただし、リストにリストされているすべての拡張機能がBluespec Development Workstationの作業の効果を保存するために常に使用されるわけではありません。多くの場合、このような拡張子を持つファイルは、Bluespec Development Workstationで使用されるソースデータファイルとして使用されます。
Bluespec Development Workstationを使用して、以下にリストするファイル拡張子間でファイル形式を変換できます。以下のファイル拡張子のいずれかのファイルをBluespec Development Workstationで開き、Bluespec Development Workstationでもサポートされている別のファイル形式で保存してみてください。