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

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.19
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 22 Jul 2013 ASCO

Screenshot
Pop 77.38
Vit 12.96

The ASCO project aims to bring circuit optimization capabilities to existing SPICE simulators using a high-performance parallel differential evolution (DE) optimization algorithm. It supports Eldo, HSPICE, LTSpice, Spectre, Qucs, and ngspice.

No download Website Updated 11 Sep 2004 Alliance CAD System

Screenshot
Pop 87.98
Vit 1.74

Alliance CAD System is a set of EDA tools and portable cell libraries for VLSI design. It covers a wide range of the standard design flow (from VHDL up to layout). It includes a VHDL simulator, RTL synthesis tools, place and route tools, netlist extractor, DRC, and a layout editor.

Download Website Updated 16 Jun 2010 Balsa Asynchronous Synthesis System

Screenshot
Pop 59.37
Vit 4.28

Balsa is an asynchronous circuit simulation and synthesis system. Balsa is built around the Handshake Circuits methology, and it can generate gate level netlists from high-level descriptions in the Balsa language. Both dual-rail (QDI) and single-rail (bundled data) circuits can be generated.

Download Website Updated 08 Aug 2011 BeRTOS

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

Download Website Updated 19 Sep 2007 FerFT

Screenshot
Pop 14.56
Vit 1.75

FerFT is a multi-purpose spectral analyzer based on the successive Fourier transformation method. It features an input signal monitor which can sample input signals through a microphone with various sample rates and show them graphically on the panel. It also lets you calculate power spectra successively along with sampled input signals and show them graphically on the panel. Finally, it provides a filter to modify spectra and regenerate signals from them.

No download Website Updated 08 Jul 2003 GraphPak for Qt

Screenshot
Pop 39.81
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 14 Jun 2011 Greensocs

Screenshot
Pop 37.52
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 06 Nov 2008 HDL Tools Topcased

Screenshot
Pop 12.49
Vit 44.67

HDL Tools Topcased is a set of tools dedicated to editing and checking HDL rules.

Download Website Updated 27 Oct 2005 JFDraw

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

Screenshot

Project Spotlight

Mutt Folder List

A mutt patch that adds a sidebar showing all mail folders.

Screenshot

Project Spotlight

Arcavias TYPO3 extension

High performance e-commerce for the TYPO3 content management system.