70 projects tagged "Electronic Design Automation (EDA)"
Updated 25 Feb 2010
gEDA
| Pop | 335.36 |
|---|---|
| Vit | 15.19 |
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.
Updated 18 Mar 2011
Qucs
| Pop | 222.58 |
|---|---|
| Vit | 8.34 |
Qucs is a circuit simulator with a graphical user interface. It aims to support all kinds of circuit simulation types, including DC, AC, S-parameter, and harmonic balance analysis.
Updated 24 Sep 2012
Electric
| Pop | 197.63 |
|---|---|
| Vit | 20.03 |
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.
Updated 01 Nov 2012
GTKWave
| Pop | 163.22 |
|---|---|
| Vit | 41.43 |
GTKWave is a wave viewer for Verilog simulation. The viewer supports execution of Tcl scripts and enhanced Drag and Drop operations.
Updated 20 Jun 2012
Qfsm
| Pop | 156.92 |
|---|---|
| Vit | 13.27 |
Qfsm is a graphical editor for easily drawing finite state machines, written in C++ using Qt. Transitions can have either binary or ASCII conditions. Machines can be simulated and integrity checks applied, enabling verification of proper design and operation.
Updated 25 Sep 2007
tkgate
| Pop | 146.86 |
|---|---|
| Vit | 7.13 |
TkGate is an event-driven digital circuit simulator with a TCL/Tk-based graphical editor. It supports a wide range of primitive circuit elements and user-defined modules for hierarchical design. The distribution comes with a number of tutorial and example circuits which can be loaded through the "Help" menu, and the example circuits include a simple CPU, programmed to run the Animals game. TkGate has multi-lingual support for English, Japanese, French, German, Spanish, Welsh, and Catalan.
Updated 16 Oct 2012
Piklab
| Pop | 143.42 |
|---|---|
| Vit | 15.42 |
Piklab is an integrated development environment for applications based on PIC and dsPIC microcontrollers. Supported compilers are: the Small Device C Compiler, the GNU PIC Utilities, PICC compilers, the PIC30 toolchain, the C18 compiler, the JAL and JALV2 compilers, the CSC compiler, and the Boost compilers. Supported programmers: ICD2, PICkit, PICkit2, PicStart+, and most direct programmers. Supported debuggers: ICD2 and GPSim. A commandline programmer/debugger is also provided.
Updated 16 Jan 2007
Gaphor
| Pop | 132.07 |
|---|---|
| Vit | 3.52 |
Gaphor is a UML modeling tool written in Python (2.2). It utilizes the GTK+ widget library, and is designed to be very extensible.
Updated 04 Mar 2010
Gerber Viewer
| Pop | 106.07 |
|---|---|
| Vit | 8.76 |
Gerber Viewer is a viewer for Gerber files, also called RS274X. It lets you load several files on top of each other, do measurements on the displayed image, etc. Using Cairo makes it possible to export Postscript and PDF files.
Updated 11 Apr 2011
ACL2
| Pop | 85.98 |
|---|---|
| Vit | 5.64 |
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.
