This software is a tool for designing electronic circuits using LaTeX.
PC based Oscilloscope and Spectrum analyzer using sound card
VHDL Verification and Simulation Tool
Kactus2 is a graphical EDA tool based on the IP-XACT standard.
Includes tools for performing electronic calculations.
IEEE LRM compliant System Verilog Parser in Java with Python, Tcl API
Verilog Finite State Machine (FSM) Code Generator
Text based timing diagram generator
Eclipse-based IDE for design verification tasks
Python Gerber to G-code converter
A graphical Finite State Machine (FSM) designer.
Unified Verification Environment