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

No download Website Updated 16 Oct 2012 Piklab

Screenshot
Pop 109.09
Vit 10.20

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.

Download Website Updated 20 Jun 2012 Qfsm

Screenshot
Pop 132.82
Vit 9.73

Qfsm is a graphical editor for easily drawing finite state machines, written in C++ using Qt. Transitions can have either binary or ASCII conditions. Machines can be simulated and integrity checks applied, enabling verification of proper design and operation.

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 11 Apr 2011 ACL2

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

No download Website Updated 15 Jul 2010 BOUML

Screenshot
Pop 119.40
Vit 6.30

BOUML is a UML 2 tool box that allows you to specify and generate code in C++, Java, IDL, and PHP. BOUML is very fast and doesn't require much memory to manage several thousands of classes. BOUML is extensible, and the external tools (named plug-outs) can be written in C++ or Java, using BOUML for their definition as any other program. UML models can be exported to HTML pages, including PNG or SVG graphics.

Download Website Updated 18 Apr 2009 UrJTAG

Screenshot
Pop 45.25
Vit 2.25

UrJTAG aims to create an enhanced, modern tool for communicating over JTAG with flash chips, CPUs, and many more. It takes on the well proven openwince jtag tools code. Future plans include conversion of the code base into a library that can be used with other applications. A flexible remote communication protocol that can be used over almost any type of serial link (including TCP/IP) is currently being defined.

Download No website Updated 16 Nov 2008 pigrammar

Screenshot
Pop 10.91
Vit 1.00

pigrammar is a programmer and assembler for picloader-programmed PICmicro devices. It reads a PIC-assembler source file from the command line, translates it, and sends the program in machine code to the serial device or into a hexadecimal file.

No download Website Updated 17 Sep 2008 plSTDF

Screenshot
Pop 15.49
Vit 1.00

plSTDF is a Perl module intended for working with the Terradyne STDF file format.

No download Website Updated 21 Aug 2008 ga-flamoot

Screenshot
Pop 19.18
Vit 1.00

ga-flamoot is a genetic algorithm in Python for evolving programs that write a given string to an allocated dataspace, using a made-up machine language with only 7 instructions and flow reversal.

Download Website Updated 23 Jun 2008 JSDAI

Screenshot
Pop 17.44
Vit 1.00

JSDAI is a toolkit around STEP or ISO 10303, the STandard for the Exchange of Product model data. It supports the Express data modelling language as defined in ISO 10303-11 and provides data exchange capabilities according to ISO 10303-21 STEP-file and ISO 10303-28 STEP-XML. JSDAI Runtime is an API according ISO 10303-22, the Standard Data Access Interface (SDAI) for the Java programming language, ISO 10303-27. JSDAI Developer is for the development of Express data models, including Express-G diagrams.

Screenshot

Project Spotlight

PSXImager

A collection of tools for dumping and mastering PlayStation 1 CD-ROM images.

Screenshot

Project Spotlight

Task Coach

A friendly task manager.