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.

Most of us learned to design circuits with schematics. But if you get to a certain level of complexity, schematics are a pain. Modern designers — especially for digital circuits — prefer to use some ...

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 ...