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 449D3BB81 for ; Tue, 13 Dec 2005 15:33:30 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jBDEXTV3027746 for ; Tue, 13 Dec 2005 15:33:29 +0100 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 PAA24547 for ; Tue, 13 Dec 2005 15:33:29 +0100 (MET) Received: from postman.medtronic.com (postman.medtronic.COM [144.15.157.121]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jBDEXRa0030723 for ; Tue, 13 Dec 2005 15:33:28 +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 jBDEXPKI022447; Tue, 13 Dec 2005 08:33:25 -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 IAA04490; Tue, 13 Dec 2005 08:33:25 -0600 (CST) Received: from [127.0.0.1] (IDENT:U2FsdGVkX19gBbpM4u8/Cd17deHhNT4LphFOAaF0nuI@localhost [127.0.0.1]) by pace.medtronic.com. (8.12.11/8.12.11) with ESMTP id jBDEXOGi027127; Tue, 13 Dec 2005 08:33:25 -0600 Message-ID: <439EDBB4.7010001@confluent.org> Date: Tue, 13 Dec 2005 08:33:24 -0600 From: Tom Hawkins User-Agent: Mozilla Thunderbird 1.0 (X11/20041206) X-Accept-Language: en-us, en MIME-Version: 1.0 To: Hans Schmid Cc: cf-user@confluent.org, caml-list@inria.fr Subject: Re: [cf-user] HDCaml & Confluence References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 439EDBB9.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 439EDBB7.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 ocaml's:01 datatypes:01 datatype:01 simulate:01 ocaml:01 fft:01 fft:01 vcd:98 vera:98 fp-:98 wrote:01 abstract:01 bugs:03 programming:03 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 Hans Schmid wrote: > Hi Tom, > > could you quickly explain what the main differences between Confluence and > HDCaml are? Is HDCaml now the preferred method? Hi Hans, The major difference is HDCaml built inside a general purpose programming language (OCaml). First, this provides access to file IO and a collection of standard libraries to aid in hardware design. Second, OCaml's type system prevents quite a few bugs up front and makes it easier to create abstract datatypes related to hardware. But the real advantage of embedding an HDL in an existing language is the generated circuit becomes just another datatype, thus opening all sorts of possibilities: - custom circuit optimizations - custom backend targets - custom circuit analysis tools One example of circuit analysis is the recent ability to simulate an HDCaml circuit from within OCaml -- VCD waveforms included. Now that the simulator is in place, one can start thinking about creating another embedded language; this time for constrained random simulation to mimic the features of Specman and Vera. I'll put a detailed HDCaml/Confluence comparison here: http://www.confluent.org/wiki/doku.php?id=hdcaml_vs_confluence > > I was looking on opencores.org for the Confluence code of FFT and FP- > Multiplication but couldn't find either. Also checked the old launchbird > website but again zero. Is the Confluence code for the several projects on > opencores.org still somehow available? Yes, the FFT and other example designs are available in Confluence 0.9.3, which is still up on the website. -Tom > > Kind regards, > Hans :-) > > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: cf-user-unsubscribe@confluent.org > For additional commands, e-mail: cf-user-help@confluent.org > > >