From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id EF482D45F for ; Fri, 4 Nov 2005 19:26:34 +0100 (CET) Received: from postman.medtronic.com (postman.medtronic.COM [144.15.157.121]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jA4IQXTD017836 for ; Fri, 4 Nov 2005 19:26:34 +0100 Received: from bishop.pace.medtronic.COM (localhost [127.0.0.1]) by postman.medtronic.com (8.12.9/8.12.9) with ESMTP id jA4IQR1d027185; Fri, 4 Nov 2005 12:26:27 -0600 (CST) Received: from pace.medtronic.com. (nenya.pace.medtronic.COM [144.15.20.58]) by bishop.pace.medtronic.COM (8.9.1b+Sun/8.9.1) with ESMTP id MAA18415; Fri, 4 Nov 2005 12:26:26 -0600 (CST) Received: from [127.0.0.1] (IDENT:U2FsdGVkX1+rVJOceUQjm8jDeZCh9e+FS+NDoBWcYTM@localhost [127.0.0.1]) by pace.medtronic.com. (8.12.11/8.12.11) with ESMTP id jA4IQRSg009264; Fri, 4 Nov 2005 12:26:27 -0600 Message-ID: <436BA7D3.5080305@confluent.org> Date: Fri, 04 Nov 2005 12:26:27 -0600 From: Tom Hawkins User-Agent: Mozilla Thunderbird 1.0 (X11/20041206) X-Accept-Language: en-us, en MIME-Version: 1.0 To: cf-user@confluent.org, caml-list@yquem.inria.fr Subject: HDCaml 0.2.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 436BA7D9.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 api:01 ocaml:01 prims:01 ...:98 ...:98 assertions:01 cleanup:01 cma:01 caml:02 objective:02 output:02 beta:04 early:07 embedded:08 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 HDCaml is a hardware description language embedded in OCaml. Given a digital design in HDCaml, the tools will output a synthesizable Verilog netlist with PSL assertions for verification. Though HDCaml is still in early beta, 0.2 has undergone a major cleanup of the API. All comments are welcome. To download... http://www.confluent.org/ To generate the [undocumented] example... > ocaml hdcaml.cma Objective Caml version 3.09.0 # Hdcaml.Example.all_prims ();; Enjoy! -Tom