RSS 10 projects tagged "Electronic Design Automation (EDA)"

Download Website Updated 25 Feb 2010 gEDA

Screenshot
Pop 317.66
Vit 13.83

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.

Download Website Updated 20 Jun 2012 Qfsm

Screenshot
Pop 135.50
Vit 9.78

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.

Download Website Updated 10 Jun 2011 Platform Independent Petri Net Editor

Screenshot
Pop 73.33
Vit 5.91

Platform Independent Petri Net Editor (PIPE) creates and analyses Petri Nets quickly, efficiently, and effectively. A key design feature is the modular approach adopted for analysis, enabling new modules to be written easily and powerfully, using built-in data layer methods for standard calculations. Six analysis modules are provided, including Invariant Analysis, State-Space Analysis (deadlock, etc.), and Simulation Analysis and Classification. PIPE adheres to the XML Petri net standard (PNML). The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.

No download Website Updated 08 Jul 2003 GraphPak for Qt

Screenshot
Pop 39.94
Vit 1.00

GraphPak is a programming library of 2D and 3D charting objects for the Qt toolkit. It provides software developers with a set of C++ objects to easily create charts or graphs that aid in the visual presentation of technical and business data. This release includes Bar, Line, Pie, Ring, Area, Hi-Lo, Box and Whisker, and Polar charts. It is based on the KD Chart product from Klarälvdalens Datakonsult AB.

Download Website Updated 27 Oct 2005 JFDraw

Screenshot
Pop 115.15
Vit 3.99

JFDraw is a Java vector graphics drawing application and library package. It is focused on vector graph drawing field. It is useful for mechanical, electronic, architectural graph drawing applications, or even business process or workflow graphs.

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.94
Vit 4.97

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.

Download Website Updated 10 Jan 2007 Signs

Screenshot
Pop 65.12
Vit 2.69

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.

Download Website Updated 04 Apr 2011 LayoutEditor

Screenshot
Pop 75.58
Vit 7.24

LayoutEditor is an IC/MEMS layout editor. It features all angle elements, a font generator, macros, Boolean operations, drc, netlist-driven layout, LVS, and cross-platform compatibility. Supported formats include Calma GDSII, OASIS (Open Artwork System Interchange Standard), DXF, CIF (Caltech Intermediate Form), Gerber, DEF/LEF, and many others.

No download Website Updated 13 Jan 2011 KiCad EDA

Screenshot
Pop 64.93
Vit 2.44

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.

No download Website Updated 12 Jan 2009 Liquid PCB

Screenshot
Pop 48.06
Vit 1.08

Liquid PCB is a computer aided design application for designing printed circuit boards. Unlike other PCB CAD applications, you are not restricted to straight tracks and 45º angles. Instead, you can freely draw tracks any way you like, and the tracks themselves will move and bend as required to maintain your design rules. Vias and components are also free to move and rotate. The user interface exposes all functions through the multi-directional expanding mouse menu and the keyboard instead of through icons and menus.

Screenshot

Project Spotlight

SQLObject

A object-relational mapper.

Screenshot

Project Spotlight

Code Browser

A folding text editor.