127 projects tagged "Electronic Design Automation (EDA)"

Download Website Updated 05 Aug 2005 Salut

Screenshot
Pop 27.39
Vit 1.42

Salut is a small program that performs calculations on simple networks around two-port devices (like transistors) characterized by s-parameters, at radio frequencies (RF). It has the ability to model components in series with a two-port block, like an inductance from the common lead to ground. Salut is also not restricted to the usual common emitter or common source configuration even though many semiconductor manufacturers only provide s-parameters for this case.

Download Website Updated 10 Jan 2007 Signs

Screenshot
Pop 63.50
Vit 2.68

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.

No download Website Updated 16 Oct 2012 Piklab

Screenshot
Pop 107.68
Vit 9.96

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.

No download Website Updated 10 Jan 2014 Slam-Edit

Screenshot
Pop 122.62
Vit 22.90

Slam is a mature IC Layout editor with the ability to edit very large designs (such as stream files larger than 10GB). Novel features include threading for redraw, support for displaying on multiple X servers simultaneously, and a Tcl interface to the database for user extensibility. The system is a library based system with multi-user support. Programmable structures (P-Cells) are available in Tcl. The editor includes gds input and output.

No download Website Updated 16 May 2005 Mariana

Screenshot
Pop 21.91
Vit 1.41

Mariana performs HDL analysis and model translation. It was formerly known as HdlArch.

No download Website Updated 11 Apr 2005 Pinapa

Screenshot
Pop 22.45
Vit 57.75

Pinapa is a SystemC front-end based on GCC and the SystemC library itself. It is able to extract both the architecture and the syntax information of a SystemC program.

Download Website Updated 11 Apr 2005 la2vcd

Screenshot
Pop 33.35
Vit 1.42

la2vcd is a utility that translates waveforms captured with HP and Agilent logic analyzers (such as the 16500B) into a VCD file for use with a waveform viewer application such as GTKWave.

Download Website Updated 08 Apr 2005 iBookshelf

Screenshot
Pop 58.14
Vit 1.74

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.

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 73.10
Vit 4.91

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.

No download Website Updated 09 Dec 2004 InFormal

Screenshot
Pop 31.75
Vit 1.00

InFormal provides formal verification of digital hardware. Built on the FNF open netlist standard, it creates a link between Icarus Verilog, the leading open source Verilog implementation, and NuSMV, the leading open soure model checker.

Screenshot

Project Spotlight

bb_log

A fast and tiny logger for Java.

Screenshot

Project Spotlight

CorneliOS

A virtual Web OS.