Develop and Download Open Source Software

FSMDesignerは有限ステートマシン（FSM）の設計ツールであり、ハードウェア記述言語（HDL）による記述を一括生成します。シンプルムーアFSMモデルを採用しているので、効率が良くて高速かつ複雑な制御回路を確実に生成できます。提供されている機能としては、複数FSMのグラフィカルな設計、自動でのデフォルト遷移入力サポート、複数FSMの妥当性確認機能、明瞭な定義仕様のXML形式ファイルフォーマット、VerilogおよびVHDLそれぞれのフォーマットに対応したRTLでのHDL記述出力、Pythonによるスクリプト完全対応、undo/redoができる最新のGUI、シミュレーションモードのサポート、表ベースでのデータ操作、などがあります。

ACL2 は数学的なロジック、プログラミング言語、および Common Lisp の適用のサブセットに基づいて機械的定理証明です。「産業強さ」バージョン nqthm を用いたまたはボイヤー/ムーアの定理証明器のがあり、商業マイクロプロセッサ、Java 仮想マシン、興味深いアルゴリズムなどの形式的検証ために使用されていますいます。

DiaCanvas2は、柔軟な作図ウィジェットです。これは、GnomeCanvasに基づいています。これは、キャンバス上の項目間の関係を維持するために独自の制約ソルバを使用します。これは、モデル/ビュー/コントローラベースであり、GnomeCanvas'の機能をフルに活用できます。

Electronic Design Automation - インデックス(Index)は、どんな電子社会でも利用できるシステムで、あなたの記録を追うことができる：たとえば、回路図、プリント基板、フロントプレート、そしてプログラマブルロジックのユニット番号など。 これは、たとえばあなたがEagle, gEDA,ProtelそしてOrcadのようなEDAプログラムでたくさんの電子回路図とプリント基板を描いているときにとても便利である。それは、あなたがGIMP、Corel Draw、そしてPhotoshopみたいなイメージエディタで作成するようなフロントプレートのレイアウトにも有用である。

PcbはX Window System 上でプリント基板を設計するのに便利なツールです. すべての座標は1/1000インチ単位です. レイアウトは、線分、円弧、多角形、エレメント(線、ピンと円弧)、ビア、 テキスト情報からなりそれぞれのレイヤーに挿入されます. それらはそれぞれユニークな名前と(ディスプレイが対応しているのであれば)色で識別されます。 SMDの回路もサポートしています. シルクスクリーンのレイヤーに加えて8層がサポートされています. ピンやSMDの端子そしてビアの可視性は制御可能です. すべてのファイルは 7-bit ASCII でUNIXの結果を標準出力に出力できるようなコマンド(GNU m4が必要) でプリプロセスすることが可能です. 拡大表示、無制限の undo、無制限の redoがサポートされています. Pcb はメモリーや時間を浪費することなく自動配線や自動配置を提供するシンプルなツールであることを 意図しています. レイアウトに関係する設定はデータと共に保存されます.

LayoutEditorは、IC や MEMS用のレイアウトエディタです。 これは、任意の角度でのエレメントの配置、フォントジェネレータ、マクロ、ブール演算、DRC、ネットリストドリブンレイアウト、LVS　が可能で、クロスプラットフォームで互換性があります。サポートされるフォーマットは、Calma を含むGDSII、OASIS（Open Artwork System Interchange Standard）、DXF、CIF(Caltech Intermediate Form）、Gerber、DEF/LEF　その他多数です。

kicad EDAは、回路図とプリント基板のアートワークを作成するソフトウェアです。 これは4つのプログラムのセットとプロジェクトマネージャー ：Eeschema(回路図入力)、Pcbnew(基板エディター)、 Gerbview(Gerber データビュアー)、Cvpcb(回路設計時のコンポーネントのフットプリントのセレクタ) Kicad はプロジェクトマネージャーで、3D の可視化機能を含んでいます。

Mr Filter は、アクティブフィルタの設計アシスタントです。電気を扱うエンジニアは、アナログアクティブフィルターの設計とシミュレーションに使うことができます。

Qucsは、グラフィカルインターフェースを備えた回路シミュレータです。 このソフトウェアは、あらゆる種類の回路シミュレーション、例えば直流、交流、Sパラメータ、トランジェント、ノイズや高調波平衡解析などをサポートすることを目指しています。 純粋なデジタルシミュレーションもサポートされています。

Confluence は、FPGA、ASICそしてハードリアルタイム ソフトウェアを含む反応システムの設計用の関数型プログラミング言語です。 Confluenceのシステムの記述は大きな情報量/行数比を持ちます。 通常 Verilog に比べ 2〜5倍以上コンパクトに記述されます。Confluenceの単一のソースコードはVerilog, VHDL, C あるいは NuSMV にコンパイルすることができます。

HDLmakerは、階層VerilogおよびVHDLコード、プリント基板のネットリスト、シミュレーション、および合成スクリプト/プロジェクト/ファイルを作成し、回路図を生成します。これは、翻訳することができますのVerilog / VHDLおよびHDLmakerプロジェクトHTMLに、モジュール間の広範なハイパーリンクを含む。また、VerilogやVHDLに、パッドプリント基板ネットリストを翻訳することができますVerilogの翻訳にいくつかの簡単なVHDLを行うことができます。 HDLMakerは、複雑なFPGAとASICの開発をsynplifies、ザイリンクスFPGAをほとんどの広範なサポートをしています。

Geal は GNOME 2 に統合されたEDAツールです. Geal は使いやすく設計されており、高度な機能を含んでいます. GNOMEの コンポーネントモデル(bonobo)を使用していて、 高度にモジュール化されていてかつ、オープンです、

Verilatorは、サイクルベースの論理合成可能な Verilogハードウェア設計言語のコンパイラです。出力として C++または SystemCを商用製品に比肩する早さで生成します。

Tavernaは、純Javaオブジェクトモデル、モデルの事前準備のためのパーサー、（ ワークフローを対応アプリケーションにドロップするためのSwingコンポーネントを含む）ビューとコントローラのセットを備えたScufl（簡易概念統一フロー言語）と呼ばれる高級言語を含むワークフロー制定と記述コンポーネントのコレクションです。実際にワークフローを実行するため、myGridワークフロー制定エンジンも必要です。

GerbMergeはプリント基板の面付けプログラムです. 複数のジョブで作成した Gerber(RS274-X) と Excellon ファイル を単一のパネルにまとめられます. ここの Job で作成したデータを繰り返しパターンにしたり、回転させることも可能です.

Signsは様々なハードウェア記述言語でのハードウェア設計のための開発環境です。タックルタスクがあり、コンパイル、合成、シミュレーション、およびデザインのテスト。これらの主な領域の統合のために、ネット、ソースコード、シミュレーション間の切換えによる包括的な設計のデバッグ機能を提供します。サポートされる言語には、VHDLおよびISCASベンチマーク形式が含まれます。Signsには２種類あります：大規模なネットリストを処理・解析するのに有用なコマンドラインのみのバージョンと、ハードウェアの設計とシミュレーションのためのEclipseプラグイン。

Covered is a Verilog code coverage utility that reads in a Verilog design and a generated VCD/LXT/FST dumpfile from that design and generates a coverage file that can be merged with other coverage files or used to create a coverage report. Covered also contains the GUI coverage report utility that reads in a coverage file to allow interactive coverage discovery. Areas of coverage measured by Covered are: line, toggle, memory, combinational logic, FSM state/state-transition and assertion coverage.

Balsaは非同期回路のシミュレーションおよび合成システムです。Balsaはハンドシェイク回路技法で構築され、Balsa言語での高級記述からゲートレベルのネットリストを生成することができます。デュアルレール（QDI）と1つのレール（データをバンドル）回路の両方を生成できます。

DiaCanvasは描画キャンバスダイヤで使用される一般的なバージョンです。これは、いくつかの機能をダイヤで使用される拡張し、新しいものを追加し、可能な限り、元の機能の多くは維持しながら。このプロジェクトは、もはや積極的に維持されます。それはあなたがDiaCanvas2の代わりにしようと示唆された。

FreeSCADAプロジェクトはシンプルな制御/取得システムを迅速かつ効率的に実装するのに役立つライブラリ集を開発します。