Simple Project List Software Map

Electronic Design Automation/Assistance (EDA)
184 projects in result set
Última Atualização: 2010-03-04 15:58

Gerber Viewer

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.

Última Atualização: 2007-01-10 08:26

Signs

Signs is a development environment for hardware designs in various hardware description languages. The tackled tasks are compilation, synthesis, simulation, and testing of designs. Due to the integration of these main areas, it provides the ability to debug designs in an all-embracing manner by switching between source code, netlist, and simulation. Supported languages include VHDL and the ISCAS benchmark format. Signs comes in two flavors: a command-line only version useful for processing and analyzing large netlists and as an Eclipse plugin for hardware design and simulation.

Última Atualização: 2004-12-24 14:38

HDLmaker

HDLmaker generates hierarchical Verilog and VHDL code, PCB netlists, simulation and synthesis scripts/projects/make files, and schematics. It can translate Verilog/VHDL and HDLmaker projects into HTML, including extensive hyperlinking between the modules. It can also translate PADS PCB netlists into Verilog and VHDL and can do some simple VHDL to Verilog translations. HDLMaker synplifies the development of complex FPGAs and ASICs, and has extensive support for most Xilinx FPGAs.

(Machine Translation)
Última Atualização: 2011-01-13 21:44

KiCad EDA

KiCad EDA is software for the creation of electronic schematic diagrams and printed circuit board artwork. It is a set of four programs and a project manager: Eeschema (schematic entry), Pcbnew (a board editor), Gerbview (a Gerber viewer (photoplotter documents)), and Cvpcb (a footprint selector for components used in the circuit design). Kicad is the project manager. It includes a 3D visualization feature.

Última Atualização: 2011-08-08 22:04

BeRTOS

BeRTOS is a real time operating system (RTOS) suitable for embedded platforms. It runs on many microprocessors and microcontrollers, ranging from 8-bit to 32-bit CPUs and even PCs.

Última Atualização: 2007-01-16 00:39

Gaphor

Gaphor is a UML modeling tool written in Python (2.2). It utilizes the GTK+ widget library, and is designed to be very extensible.

Última Atualização: 2011-04-11 11:06

ACL2

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)
Última Atualização: 2002-11-12 13:56

ChipVault

ChipVault is a chip development program for
organizing VHDL and Verilog designs. ChipVault
displays designs hierarchically and provides for
rapid design navigation and editor launching.
ChipVault provides hooks for performing bottom-up
tasks such as launching RTL compilers, synthesis,
block generation and instantiation, and includes
simple to use Revision Control and Issue Tracking
systems to help facilitate large group design
projects with multiple designers and hundreds of
design files. ChipVault is written in Perl and is
small, fast, and efficient.

(Machine Translation)
Última Atualização: 2012-11-01 04:33

GTKWave

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

Última Atualização: 2012-06-20 21:30

Qfsm

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.

Última Atualização: 2007-09-25 00:48

tkgate

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.

Última Atualização: 2006-09-29 22:47

Oregano

Oregano is an application for schematic capture and simulation of electrical circuits. The actual simulation is performed by SPICE, which is required for simulation, but not necessary to run the application.

Última Atualização: 2012-10-16 12:26

Piklab

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.

(Machine Translation)
Última Atualização: 2005-04-08 00:58

iBookshelf

iBookshelf is an application for cataloging your book collection and designing bookshelves based on this data. It supports ISBN entry using a CueCat, a standard barcode scanner, or manual entry. Book data is automatically fetched from Amazon Web services. Manual book entry is possible for non-catalogued books. Bookshelf design is done graphically with the Cairo drawing library, and is based on the most efficient book order.

Última Atualização: 2010-06-21 16:22

ngspice

Ngspice is a mixed-level/mixed-signal circuit simulator based on three open source software packages: Spice3f5, Cider1b1, and Xspice. Spice3 is the most famous and widely used circuit simulator. Cider is mixed-level simulator that includes Spice3f5 and adds DSIM, a device simulator. Cider couples the circuit level simulator to the device simulator to provide greater simulation accuracy (at the expense of greater simulation time). Xspice is an extension to Spice3 that provides code modeling support and simulation of digital components through an embedded event driven algorithm.