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

No download Website Updated 17 Feb 2005 Confluence System Design Language

Screenshot
Pop 57.92
Vit 1.75

Confluence is a functional programming language for reactive system design, including FPGAs, ASICs, and hard-real-time software. Confluence system descriptions have a large information to linecount ratio. It is typically two to five times more compact than Verilog. Confluence can compile a single body of source code into to Verilog, VHDL, C, and NuSMV.

No download Website Updated 09 Dec 2004 InFormal

Screenshot
Pop 30.33
Vit 1.00

InFormal provides formal verification of digital hardware. Built on the FNF open netlist standard, it creates a link between Icarus Verilog, the leading open source Verilog implementation, and NuSMV, the leading open soure model checker.

Screenshot

Project Spotlight

Octopussy

A Perl/XML log analyzer, alerter, and reporter.

Screenshot

Project Spotlight

Chaotic Rage

A multiplatform 3D zombie shooter.