We have used several tools to design and verify FPGA projects.

Actual implementation can be in Schematic Capture, ABLE, VHDL, and State Diagrams.