Kactus2 is a graphical EDA tool based on the IP-XACT standard.
TCAD Device Simulator
A graphical Finite State Machine (FSM) designer.
GDS visualization and parallelized capacitance extraction
Create fast bare-metal FPGA designs without Verilog or VHDL