[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Hardware Description Languages(and macros).

In a message dated 6/11/2003 8:25:40 PM Central Daylight Time, sk@cs.brown.edu writes:

There's a lot of good work going on on using Haskell as a hardware
description language.  Google your way over to OGI (John Launchbury is
one good person to look for) or Glasgow (John O'Donnell).  Indeed, one
of the early ACM dissertation award winners was Steve Johnson's thesis
(~1982), which transformed functional Scheme programs down to hardware
-- really elegant stuff.  But hardware synthesis never really caught on.

In a shameless plug for my own bibliography sites ;) I would like to point
out the following as a starting point for Haskell-based hardware description

It is not complete (notably missing is John O'Donnell's work)--but it
may be a useful starting point.

Though not quite about HDLs, the following URL points to many papers
about hardware-based implementations of Scheme, including some later
work by Steve Johnson:

Jim Bender