ChNIDAQ allows user programs to use the NI-DAQ C library and run interpretively without compilation. It is an ideal solution for teaching and learning data acquisition, prototyping, and web-based remote data acquisition.
The Decision Procedure Toolkit (DPT) is a system of cooperating decision procedures for answering satisfiability queries. The DPT implementation in OCaml comprises a DPLL-style SAT solver with theory-specific decision procedures.
Dinotrace is a Verilog/VHDL waveform viewer for logic design traces for Linux/Windows X11. It includes color highlighting and back annotation of trace values onto source code inside Emacs. Please see www.veripool.org/dinotrace for lastest tarballs.
This is a helpful and optimized tool support for Electronic Design Automation Engineer viewing vcd file format.Runing all 32-bit MS Window(95/98/Nt/2000/XP),Linux,Apple Mac OS classic.It is mean to be an open source viewer developed by SELAB-University o
Efficient Symbolic Tools package (EST) is a BDD based tool for the formal verification of concurrent systems. Its advantages are flexibility, portability and an efficient memory management. It runs under different OS, including Linux and Windows 2000/XP.
ExpressLib is a Java library that can read and convert the file format of ExpressSCH/ExpressPCB
An extend version of NuSMV, which supports symbolic model checking of ETL and APSL
FERMAT's SystemC Parser using Doxygen and Xerces-C++ XML
FXPyTurns-n-Layers is a graphical transformer and induction coil design aid. The application performs the physical design of the coils for transformer and induction coils to determine: the length/weight of wire required to wind a coil with the specified
This project is a collection of field solver tools.
FreePCB is a PCB layout editor for Windows. It is easy to learn and easy to use, yet capable of professional quality work. It imports PADS-PCB netlists, and exports industry-standard Gerber RS-274X and NC-drill files.
Geometric Technology - Programs written for MicroStation CAD System design automation.
Gnetman is primarily a netlist translator, capable of translating between formats such as VHDL, Verilog, and SPICE. Only structural gate-level netlists are supported. Various netlist manipulations are supported.
Virtual instrumentation software, currently designed for modifying automobile engines. Intended as a modular framework to communicate with devices on an IO port (serial, parallel etc.) and allow a visual representation of the instrument.
A Schematic Entry system for rapid analog circuit development
IslandEv distributes a Genetic Algorithm (like <a href="/projects/jaga">JaGa</a>) across a network (see <a href="/projects/distrit">DistrIT</a>) using an island based coevolutionary model in which neighbouring islands swap migrating individuals every
JSDAI is a toolkit for STEP (ISO 10303), the STandard for the Exchange of Product Model data, that enables linking of CAD, CAM, PDM, PLM, CAx systems. JSDAI supports the development of Express data models (ISO 10303-11) and their implementation in Java.
A Java based Backus-Naur test API
A Java API for manipulation of GDSII stream data. It is intended to provide a useful, reusable and platform independant library for CAD/CAE application developers. This API Requires the Java Backus-Naur Test API (JBNT). You may download it from: ht
A tool to read and browse records from a GDSII stream file.
A GDSII database parser and stream integrity verifier
Jove - The Open Verification Environment for the Java (TM) Platform
An IDE with compiler & upload/download for the Velleman K8001 kit. Replaces the original Velleman compiler, because it doesn't work in WIN32
Open Firmware for K8056 8-Channel Relay Card
Development of open source firmware/software for K8056 8-Channel Relay Card produced by Velleman® Inc.
Project management moved to SourceForge: http://sf.net/projects/kicad/