ライブリナックスのカスタマイズをおこないます。
（Versys(ベルシス)は、ライブリナックスのカスタマイズをおこなうサービス名称です）
現在カスタマイズをおこなう基となるVersys Standardと、ASICやFPGA等の設計に使われているVerilog，SystemC関連のEDAツールのソフトウェアをインストールするVersys EDAがあります。

Versys EDAの現在のバージョン(UB804)は、以下のソフトウェアにより構成されます。
これらのソフトウェアは、optディレクトリのversysディレクトリよりインストールされています。

Verilogシミュレータ
Icarus Verilog
Stephen Williams氏により作成、公開がされています。(Verilog2001対応)

GPL Cver
GPL Cverは、Cadence Design Systems 社により買収される前の Artrim Design Systems 社　Cverの最終リリースのもので、2007年5月にリリースされたバージョン2.12aでは、Verilog2001が、ほぼサポートされています。

SystemCシミュレータ
SystemC(2.2.0)
SystemCは、プログラミング言語のC++に、ハードウェアのモデリングに必要な機能を追加した言語で、Open SystemC Initiative(OSCI)によって規格化されています。
SystemCシミュレータは、OSCIにより無償で提供されています。
TLM 2.0
SystemCは、RTL設計よりも抽象度の高いTLM(Transaction Level Modeling Standard)での設計ができます。
このTLM設計におけるバスモデルとしてTLMライブラリも、OSCIより無償で提供されています。

Verilog to SystemCトランスレータ
Verilator(3.710)
Verilatorは、1994年にCPUをC言語にて検証するために、VerilogからCへのトランスレータとして開発されたもので、現在でもWilson Synder氏により、アクティブに開発が進められています。

Verilator

波形表示ツール
GTK Wave
GTK Wave は、もとはTony Bybell氏によって開発されたものですが、現在はマンチェスタ大学のAPT(Advannced Processor Technologies)グループに引き継がれています。

GTKWaveによる波形表示

使用方法
Example参照

カスタマイズをおこなう際の基となるものです。
カスタマイズサービスは、これを基にアプリケーションの追加、デスクトップ背景の変更等をおこないます。
また、USBフラッシュメモリへのインストールサービスをご利用いただければ、お客様独自でカスタマイズをおこなった、ライブリナックスを作成することができます。

カスタマイズサービス