SANTA CRUZ, Calif. — Confluence, a declarative programming language that generates RTL code, C language models, and formal verification models, is now available under the GNU General Public License.

Spade is an open-source hardware description language (HDL) developed at Linköping University, Sweden. Other HDLs you might have heard of include Verilog and VHDL. Hardware engineers use HDLs to ...