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

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 10 Sep 2004 The PEP tool

Screenshot
Pop 35.37
Vit 1.47

PEP is a modeling and verification framework for parallel systems. It provides a large number of different modelling languages (e.g. SDL, B(PN)^2, Petri nets, Process algebras and Finite Automata), and verification techniques (e.g. reachability and temporal logic model checking). Due to its Tcl/Tk-based GUI, PEP is easily extensible to other analysis or specification tools. The framework offers fully integrated simulation and debugging features on all levels.

Screenshot

Project Spotlight

beets

A media library management system for obsessive-compulsive music geeks.

Screenshot

Project Spotlight

libdwarf-dwarfdump

A library for DWARF debug information reading/writing.