Essential Confluence Companions
Confluence Papers and Presentations
Confluence Books
Discussion Groups and Organizations
Free EDA Tools
- NuSMV: Formal verification (model checking).
- HOL Light: Formal verification (theorem proving).
- Icarus Verilog: Verilog Simulation.
- Cver: Verilog Simulation.
- Dinotrace: Waveform viewer.
- GTKWave: Waveform viewer.
- Verilator: Verilog to C/SystemC compiler.
- Covered: Verilog code coverage analysis.
- Gnetman: A netlist manipulation framework.
- gschem and friends: Schematic capture and PCB design.
- GHDL: VHDL simulation.
- SystemC: System modeling and verification in C++.
- MyHDL: System modeling in Python.
- Oroboro: Python and Verilog integration.
- JHDL: A Java-based HDL. Supported by FNF.
- Scilab: Scientific computing.
Free EDA Directories
EDA Press
Miscellaneous
- dmoz: Hardware description languages on the open directory.
- Wikipedia: Wikipedia’s definition of Confluence.
links.txt · Last modified: 2005/09/16 13:41
