127 projects tagged "Electronic Design Automation (EDA)"

No download Website Updated 11 Sep 2004 Alliance CAD System

Screenshot
Pop 86.43
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 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 05 Sep 2004 nMicrocoder

Screenshot
Pop 31.78
Vit 1.00

nMicrocoder is an ncurses EDA tool to write microcode. Basically, it is a stripped down spreadsheet program that lets you fill a table with "0", "1", and "-", and gives you compile-ready verilog code in return. It was written as an alternative to full spreadsheet programs. It is known to run on Linux, IRIX, and Solaris, unless ncurses 5.3 is installed.

Download Website Updated 28 Nov 2004 annotate_gschem

Screenshot
Pop 15.39
Vit 1.00

annotate_gschem can annotate (number part REFDESs) a schematic drawn with gschem. It can optionally renumber the same parts on a board file drawn with xpcb.

Download Website Updated 28 Nov 2004 gschem2xpcb

Screenshot
Pop 17.83
Vit 1.00

gschem2xpcb creates a new printed circuit board layout for xpcb from a gschem schematic with the parts neatly arranged outside the board margins ready for manual placement.

Download Website Updated 28 Jul 2005 QCADesigner

Screenshot
Pop 37.09
Vit 2.07

QCADesigner is a Quantum-Dot Cellular Automata (QCA) circuit simulator. With powerful CAD capabilities, it allows the designer to quickly layout and simulate QCA circuits constructed with thousands of QCA cells. QCA is one of several emerging nanotechnologies with potential applications in future computers.

No download Website Updated 17 Feb 2005 Confluence System Design Language

Screenshot
Pop 51.70
Vit 1.75

Confluence is a functional programming language for reactive system design, including FPGAs, ASICs, and hard-real-time software. Confluence system descriptions have a large information to linecount ratio. It is typically two to five times more compact than Verilog. Confluence can compile a single body of source code into to Verilog, VHDL, C, and NuSMV.

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.

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.

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.

Screenshot

Project Spotlight

bb_log

A fast and tiny logger for Java.

Screenshot

Project Spotlight

CorneliOS

A virtual Web OS.