Ready to be published? LXer is read by around 350,000 individuals each month, and is an excellent place for you to publish your ideas, thoughts, reviews, complaints, etc. Do you have something to say to the Linux community?
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. The new Confluence 0.9 release also adds executable simulation models, automatic HTML documentation, and a new standard library.