RE: [Haskell-cafe] FPGA / Lava and haskell

2008-07-12 Thread John O'Donnell
EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Alfonso Acosta Sent: 09 July 2008 03:27 To: Marc Weber; haskell-cafe@haskell.org Subject: Re: [Haskell-cafe] FPGA / Lava and haskell We'll soon (before september, hopefully) relase a deep-embedded version of ForSyDe[1] which, among other th

[Haskell-cafe] FPGA / Lava and haskell

2008-07-11 Thread Satnam Singh
Hello Marc. I've been distracted with the Kiwi project (parallel C# programs to hardware) and right now a Bluespec project so I've not made any progress on a merge of the Lava I produced for designing circuits (with layout) for Xilinx's FPGAs and the Chalmers version (which I recommend for situ

Re: [Haskell-cafe] FPGA / Lava and haskell

2008-07-10 Thread Matthew Naylor
Hi Marc, > The Chalmers Lava homepage tells abouta Xilinx version which should > be merged in soon. But on the xilinx homepage there was no reference > to neither Lava nor haskell.. > I'm thinking about designing a similar tool to www.combimouse.com. you also might consider using a PIC or some su

Re: [Haskell-cafe] FPGA / Lava and haskell

2008-07-09 Thread Don Stewart
marco-oweber: > Is Haskell still used (in industry as well ?) to write (V)HDL code to > program FPGAs and create circuits on chips? > The Chalmers Lava homepage tells abouta Xilinx version which should be > merged in soon. But on the xilinx homepage there was no reference to > neither Lava nor hask

Re: [Haskell-cafe] FPGA / Lava and haskell

2008-07-09 Thread Philip Weaver
On Wed, Jul 9, 2008 at 2:22 AM, Marc Weber <[EMAIL PROTECTED]> wrote: > > You're going to design something like that with an FPGA in it? :) > The FPGA is only used for developement. If everything works fine I'd > like to put it on the market. My hope is to get one low cost chip doing > everything

Re: [Haskell-cafe] FPGA / Lava and haskell

2008-07-09 Thread Marc Weber
> You're going to design something like that with an FPGA in it? :) The FPGA is only used for developement. If everything works fine I'd like to put it on the market. My hope is to get one low cost chip doing everything this way. Would you suggest using other tools? I'm still a total noob in this

Re: [Haskell-cafe] FPGA / Lava and haskell

2008-07-08 Thread Alfonso Acosta
We'll soon (before september, hopefully) relase a deep-embedded version of ForSyDe[1] which, among other things, has a VHDL backend (with specific support for Altera's Modelsim and Quartus). ForSyDe's new implementation is internally based upon the same concept as Lava (Observable Sharing). Howeve

Re: [Haskell-cafe] FPGA / Lava and haskell

2008-07-08 Thread Philip Weaver
On Tue, Jul 8, 2008 at 5:43 PM, Marc Weber <[EMAIL PROTECTED]> wrote: > Is Haskell still used (in industry as well ?) to write (V)HDL code to > program FPGAs and create circuits on chips? Indeed! Galois maintains a language called Cryptol. Almost all tools for this language, including an FPGA

[Haskell-cafe] FPGA / Lava and haskell

2008-07-08 Thread Marc Weber
Is Haskell still used (in industry as well ?) to write (V)HDL code to program FPGAs and create circuits on chips? The Chalmers Lava homepage tells abouta Xilinx version which should be merged in soon. But on the xilinx homepage there was no reference to neither Lava nor haskell.. I'm thinking about