| I was wondering if anyone out there may have suggestions on software
| that aids in the teaching of computer science. Specifically software
| that deals with:
| A) Finite state machines, Turing machines, and such. Maybe a program
| that would help students create them, display them, print them out,
| B) Circuit design. We have a course where students learn how various
| components of a chip are designed, ie. flip-flops, ALU, etc. Again
| the software should be able to help students create, display, and
| print them out.
| Any pointers towards software that can help out in the teaching of
| these materials would be greatly appreciated.
You may want to check out the "electric" program available at FSF GNU
archive sites. The latest version is electric-5.4g4.tar.gz
From its docs:
A state-of-the-art computer-aided design system for VLSI circuit design.
Electric designs MOS and bipolar integrated circuits,
printed-circuit-boards, or any type of circuit you choose.
It has many editing styles including layout, schematics,
artwork, and architectural specifications.
A large set of tools is available including design-rule
checkers, simulators, routers, layout generators, and more.
Electric interfaces to most popular CAD specifications
including VHDL, EDIF, CIF, and GDS II.
It runs on:
Electric runs on most UNIX variants, including SunOS 4.1.3, Solaris 2.5.1
and 2.6, GNU/Linux v1.x and v2.x kernels with related distributions. It
also runs on HPUX, AIX and older versions of SunOS.
Macintosh users must run System 7 or later. Electric compiles best under
Metrowerks version 1.7, although it has been built with MPW 3.0 and
THINK_C 5.0. A Metrowerks project file is included.
Electric runs under Windows 95/98 or Windows NT 4.0. The system compiles
with Visual C++ 5.0. The Visual C project files are included.