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

Download Website Updated 15 May 2011 Easy Funktion

Screenshot
Pop 74.62
Vit 9.43

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.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 27 Oct 2005 JFDraw

Screenshot
Pop 115.30
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 03 Nov 2004 Electronic Engineering Tool

Screenshot
Pop 65.18
Vit 2.29

Electronic Engineering Tool is a Web-based tool that includes an electronic formula calculator and converter functions. It very useful when working with electronics, both for engineers and amateurs. For example, it includes converters for dBm-to-Watt and Fahrenheit-to-Celsius, and it can calculate Ohm's law, filters, thermal resistant C/W, SWR, coil inductance, capacitor capacity, and more.

Download Website Updated 28 Jul 2007 DREAM Tool

Screenshot
Pop 26.08
Vit 1.93

The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. It focuses on the practical application of formal verification and timing analysis to real-time middleware.

Download Website Updated 19 Sep 2007 FerFT

Screenshot
Pop 13.78
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 05 Aug 2011 ReliaFree

Screenshot
Pop 16.85
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 09 Jul 2004 JCCad

Screenshot
Pop 43.13
Vit 1.00

JCCad is a project to develop a 2D/3D CAD program that can be used to create technical drawings. One of the main goals of this project is to include a plugin system to allow usuaries to make new commands. In this way it will be easy to use the program for any particular task. JCCad provides an easy interface with a command line.

Download Website Updated 12 Mar 2008 py2port

Screenshot
Pop 21.63
Vit 1.00

py2port is a tool for performing two-port and one- port analysis on linear circuits. It was developed for analyzing PCB power-distribution-systems and lossy transmission lines.

Screenshot

Project Spotlight

Vilistextum

A fast HTML to text converter.

Screenshot

Project Spotlight

Open MPI

A next-generation implementation of the MPI standard.