RSS 1 project tagged "Electronic Design Automation (EDA)"

Download Website Updated 11 Apr 2011 ACL2

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

Screenshot

Project Spotlight

Code Manager 2

A simple single site code management and package management system.

Screenshot

Project Spotlight

finit

A small SysV init replacement with process supervision.