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.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback