From: Tom Hawkins <tom@confluent.org>
To: Hans Schmid <dressguard@yahoo.de>
Cc: cf-user@confluent.org, caml-list@inria.fr
Subject: Re: [cf-user] HDCaml & Confluence
Date: Tue, 13 Dec 2005 08:33:24 -0600 [thread overview]
Message-ID: <439EDBB4.7010001@confluent.org> (raw)
In-Reply-To: <loom.20051208T234057-664@post.gmane.org>
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
>
>
>
parent reply other threads:[~2005-12-13 14:33 UTC|newest]
Thread overview: expand[flat|nested] mbox.gz Atom feed
[parent not found: <loom.20051208T234057-664@post.gmane.org>]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=439EDBB4.7010001@confluent.org \
--to=tom@confluent.org \
--cc=caml-list@inria.fr \
--cc=cf-user@confluent.org \
--cc=dressguard@yahoo.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).