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