From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA09654; Mon, 22 Mar 2004 15:36:21 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA12414 for ; Mon, 22 Mar 2004 15:36:18 +0100 (MET) Received: from glow.phpwebhosting.com (Hosting-132-76.PHPWebHosting.Com [64.72.132.76] (may be forged)) by nez-perce.inria.fr (8.12.10/8.12.10) with SMTP id i2MEaoKW004605 for ; Mon, 22 Mar 2004 15:36:51 +0100 Received: (qmail 16800 invoked from network); 22 Mar 2004 14:36:14 -0000 Received: from unknown (HELO sparky) (24.163.170.87) by hosting-132-76.phpwebhosting.com with SMTP; 22 Mar 2004 14:36:14 -0000 Content-Type: text/plain; charset="us-ascii" From: Tom Hawkins Organization: Launchbird Design Systems, Inc. To: , , , , Subject: [Caml-list] ANN: Confluence 0.9 -- Open Source, Executable Models, Auto Documentation Date: Mon, 22 Mar 2004 08:32:35 -0600 User-Agent: KMail/1.4.3 Cc: , , MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Message-Id: <200403220832.35236.tom@launchbird.com> X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; python:01 kernels:01 firms:99 javadoc:01 higher-level:01 declarative:01 reactive:01 verilog:01 compiler:01 compiler:01 ocaml:01 command:98 lib:01 binary:02 optimized:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Keywords: X-UID: 306 This is probably the largest Confluence release to date. The major=20 features include an open source license, executable simulation=20 models, automatic HTML documentation, and a new standard library. ** Open Source License Starting with Confluence 0.9, the compiler is now released under the=20 GNU General Public License and the standard libraries are covered=20 with the GNU Lesser General Public License. ** Executable Simulation Models The Confluence compiler now returns executable models providing bit=20 and cycle accuracy with high simulation performance. The executable simulation models are controlled by a simple command=20 and query language, making it easy to connect Confluence to any=20 verification environment or programming language (SystemC, Java,=20 Python, OCaml, etc.). Because the simulation kernels run optimized=20 native code, even a Perl test-bench will yield performance on par=20 with compiled HDL simulation. Another added benefit of executable simulation models is IP design=20 firms can deliver precise evaluation models that are ready to run and=20 nearly impossible to reverse engineer. ** Automatic HTML Documentation Confluence 0.9 also introduces cfdoc: a tool for generating HTML=20 documentation from Confluence source code comments. Similar to=20 javadoc, cfdoc scans a source directory tree extracting comments from=20 *.cf files. Currently the HTML is not the most attractive, but the=20 formatting and capabilities of cfdoc will continue to improve. Here's a shot of the standard library: http://www.launchbird.com/lib/ ** New Standard Library (base.cf) The new standard library has been built from the ground up with more=20 organization and clearer naming conventions to provide a robust=20 foundation for Confluence designers. Aside from base.cf, the libraries have reserved space for higher-level=20 components for DSP, communication, on-chip busing, processors,=20 cryptography, and other categories. Hopefully the open source=20 community will start elaborating on these areas. ** Download Confluence 0.9 source code and binary distributions are available at: http://www.launchbird.com/download.html ** Background Confluence is a declarative functional programming language for the=20 design and verification of synchronous reactive systems including=20 digital logic, hard-real-time software, and hardware-software=20 co-design. =46rom one source, Confluence generates: - Verilog and VHDL netlists (synthesis, simulation) - Cycle accurate C models (software, simulation) - NuSMV models (formal verification) - XML netlists (custom back-end tooling) - Executable Models (open verification) Regards, Tom --=20 Tom Hawkins Launchbird Design Systems, Inc. http://www.launchbird.com/ ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners