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

Download Website Updated 08 Aug 2011 BeRTOS

Screenshot
Pop 101.34
Vit 5.19

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.

No download Website Updated 05 Aug 2011 ReliaFree

Screenshot
Pop 16.97
Vit 1.61

The ReliaFree Project is an alternative to commercial, proprietary reliability, availability, maintainability, and safety (RAMS) analysis software. The ReliaFree Project is an integrated suite of tools. Any number of analyses can be linked together such that an update to one module will result in all linked modules being updated appropriately. This approach provides a closed loop life-cycle with visibility into a product's performance throughout. The same database is used to store field failure data as is used to store design prediction information.

Download Website Updated 14 Jun 2011 Greensocs

Screenshot
Pop 37.74
Vit 3.39

Greensocs is a development kit for producing systems on a chip using SystemC (a C++ derivative) as opposed to Verilog or VHDL.

Download Website Updated 10 Jun 2011 Platform Independent Petri Net Editor

Screenshot
Pop 72.28
Vit 5.90

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 29 May 2011 mprfgen

Screenshot
Pop 15.26
Vit 32.56

mprfgen is a multi-port memory generator that can be used for VHDL designs. It can generate either generic or Xilinx-specific (through component instantiation) multi-port memories.

Download Website Updated 15 May 2011 Easy Funktion

Screenshot
Pop 76.99
Vit 9.41

Easy Funktion is 2D function plotter software with an equation solver. It has an office-like GUI frontend and features a built-in pocket calculator, calculating with complex numbers (with special extensions for electronics, e.g. capacitor/inductor impedance), a function to export to spreadsheet software, and an advanced formula editor with automatic formatting.

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.62
Vit 4.96

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 04 Apr 2011 LayoutEditor

Screenshot
Pop 74.67
Vit 7.22

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.

Download Website Updated 18 Mar 2011 Qucs

Screenshot
Pop 187.77
Vit 7.33

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.

No download Website Updated 13 Jan 2011 KiCad EDA

Screenshot
Pop 65.32
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.

Screenshot

Project Spotlight

Dianara

A client for the pump.io social network.

Screenshot

Project Spotlight

The Meson Build System

A next-generation build system.