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.
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. The new Confluence 0.9 release also adds executable simulation models, automatic HTML documentation, and a new standard library.
Confluence was developed by engineer Tom Hawkins, founder of Launchbird Design Systems. It claims to provide a simple and clean way to describe extremely complex systems in just a few lines of code. Outputs include VHDL, Verilog, cycle-accurate C, NuSMV formal verification models, and XML netlists.
"This is probably the largest Confluence release to date," Hawkins said. He noted that the Confluence compiler now returns executable simulation models with bit and cycle accuracy. The models are controlled by a command and query language, allowing users to connect them to any verification environment or programming language.
A new standard library has been rebuilt with more organization and clearer naming conventions. Confluence libraries have reserved space for components for DSP, communication, on-chip busing, processors, and other categories. "Hopefully the open source community will start elaborating on these areas," Hawkins said. Standard libraries are available under the GNU Lesser Public License.
Also new in version 0.9 is cfdoc, a tool for generating HTML documentation from Confluence source code comments. "Currently the HTML is not the most attractive, but the formatting and capabilities of cfdoc will continue to improve," Hawkins said.
[Interop ITX 2017] State Of DevOps ReportThe DevOps movement brings application development and infrastructure operations together to increase efficiency and deploy applications more quickly. But embracing DevOps means making significant cultural, organizational, and technological changes. This research report will examine how and why IT organizations are adopting DevOps methodologies, the effects on their staff and processes, and the tools they are utilizing for the best results.
Digital Transformation Myths & TruthsTransformation is on every IT organization's to-do list, but effectively transforming IT means a major shift in technology as well as business models and culture. In this IT Trend Report, we examine some of the misconceptions of digital transformation and look at steps you can take to succeed technically and culturally.