Simple Project List Software Map

Electronic Design Automation/Assistance (EDA)
182 projects in result set
最后更新: 2019-01-28 17:08

gerbv -- a Gerber (RS-274X) viewer

Gerbvは、オープンソースのガーバーファイル (RS-274Xのみ)ビューアです。Gerbvは、いくつかのファイルを読み込み、画像等で表示することができます。ガーバーの閲覧を行うだけでなく、pick-placeファイルと同様にExcellon drillファイルとして表示することもできます。

最后更新: 2019-05-23 04:41

Quite Universal Circuit Simulator

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

最后更新: 2019-02-24 00:30


gputils は、マイクロ チップ PIC マイクロ コント ローラーのためのツールのコレクションです。その目標はマイクロ チップのツール、MPASM、MPLINK、および MPLIB と完全に互換性があります。

最后更新: 2020-03-29 17:02



最后更新: 2013-10-25 16:16


IC/MEMSレイアウトエディタです。特徴、機能は、すべてのアングル、フォントジェネレータ、マクロ、ブール演算、デザインルールチェッカー、クロスプラットフォーム互換性などです。サポートフォーマットは、Calma GDSII, OASIS (Open Artwork System Interchange Standard), DXF, CIF (Caltech Intermediate Form)です。

最后更新: 2010-02-25 07:44


gEDA is a suite of electronic design automation (EDA) tools. Currently, the project offers a mature suite of free software applications for electronics design, including schematic capture, attribute management, bill of materials (BOM) generation, netlisting into over 20 netlist formats, analog and digital simulation, and printed circuit board (PCB) layout.

最后更新: 2018-03-07 06:46



最后更新: 2014-04-30 20:29


FidoCadJ is a very easy-to-use editor, with a library of electrical symbols and footprints (through hole and SMD). Drawings can be exported in several graphic formats (PDF, EPS, PGF for LaTeX, SVG, PNG, and JPEG). Although very simple and not relying on any netlist concept, FidoCadJ can be considered a basic electronic design automation program. FidoCadJ uses a file format containing only UTF-8 text, which is very compact and suited for copying and pasting with newsgroups and forum messages. This determined its success, as it is quite versatile for simple mechanical drawings as well as for electronics.

最后更新: 2001-12-01 12:47

Gnu Circuit Analysis Package

Gnu Circuit Analysis Package is a general purpose circuit simulator. It performs nonlinear DC and transient analysis, fourier analysis, and AC analysis. Spice compatible models for the MOSFET (level 1- 7) and diode are included. This project is not based on Berkeley Spice, but some of the models have been derived from the Berleley models. It was formerly known as 'Al's Circuit Simulator'.

最后更新: 2013-06-22 14:44


Electric is a complete EDA system that can handle many forms of circuit design, including Schematic Capture (digital and analog), Custom IC layout, Logic Simulation, Electro-mechanical hybrid layout, Programmable logic (FPGAs) and much more.

最后更新: 2011-03-18 20:28


Qucs is a circuit simulator with a graphical user

  1. It aims to support all kinds of

circuit simulation types, including DC, AC, S-parameter, and harmonic balance analysis.

最后更新: 2015-02-18 22:14

JMCAD - modeling of dynamic systems

モデリングと複合動的システムのシミュレーション プログラムです。これを構築し、ブロック ダイアグラムをシミュレートする能力が含まれます。視覚的なブロック ダイアグラム インターフェイスの構築、変更、および複雑なシステム ・ モデルを維持する簡単な方法を提供しています。高速にシミュレーションのエンジンを提供し、時間変動とハイブリッド システム、離散時間線形、非線形、連続時間の正確なソリューションを設計します。ユーザーは、ソフトウェアまたはシステムまたは物理的なプロトタイプを構築する前に彼らの行動を示すためにプロセスの「仮想」のプロトタイプに迅速に開発することができます。ユーザーは、ブロック ライブラリから定義済みのブロックを選択して、単に一緒にブロックを配線によって彼システム モデルを構築します。各ブロック ダイアグラムの関数を実行します。ユーザーも Java でカスタム ブロックを作成しとブロック ライブラリに追加できます。複雑な非線形動的なシステムを作成するためのブロック ダイアグラムの言語です。

(Machine Translation)
最后更新: 2012-11-01 04:33


GTKWave is a wave viewer for Verilog simulation. The viewer supports execution of Tcl scripts and enhanced Drag and Drop operations.

最后更新: 2006-01-25 16:15


XCircuit is a UNIX/X11 program for drawing publishable-quality electrical circuit schematic diagrams and related figures, and producing circuit netlists through schematic capture. XCircuit regards circuits as inherently hierarchical, and writes both hierarchical PostScript output and hierarchical SPICE netlists. Circuit components are saved in and retrieved from libraries which are fully editable. XCircuit does not separate artistic expression from circuit drawing; it maintains flexiblity in style without compromising the power of schematic capture.

最后更新: 2011-04-11 11:06


ACL2 is a mathematical logic, programming
language, and mechanical theorem prover based on
the applicative subset of Common Lisp. It is an
"industrial-strength" version of the NQTHM or
Boyer/Moore theorem prover, and has been used for
the formal verification of commercial
microprocessors, the Java Virtual Machine,
interesting algorithms, and so forth.

(Machine Translation)