Electric.jar is a binary java application. Electric reads/writes .jelib library files. These contain a circuit design as a collection of "cells". Electric can be used to compile these design cells to verilog testbench files for simulation. Verilog code can also be inserted in to cells. There is a tutorial in ../examples. That tutorial is itself an Electric library. Run Electric.jar (double click or "java -jar") and open that tutorial library. Open the README cell and follow the instructions.
You will need to have java available on your system, but you probably already do. If not, google "java" and you will find a link to download and install it. Install the Electric java executable, Electric.jar wherever you find convenient. I like to put it in /bin. see ../src/README and ../src/Makefile. The Electric.jar java binary is in ../src. Electric.jar java binary and its java source are freely available downloads, see links below.
----------------------- Download links ----------------------- http://www.gnu.org/software/electric/electric.html http://www.staticfreesoft.com/index.html ----------------------- Documentation links: ----------------------- Setup Notes: http://www.staticfreesoft.com/jmanual/mchap01-03.html User Manual: http://www.staticfreesoft.com/documentsUser.html Internals Documentation: http://www.staticfreesoft.com/documentsInternals.html -----------------------