RSS 1 project 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.

Screenshot

Project Spotlight

GNU Parallel

Software to build and execute shell command lines from standard input in parallel.

Screenshot

Project Spotlight

fio

A flexible I/O tester/benchmarker.