Re: [Haskell-cafe] ANN: clash-0.1.3.0 (Functional Hardware Descriptions)

2011-03-25 Thread Bin Jin
Hello, Can you give some brief notes on the new introduced clock-related stuff like Comp? Thanks --Bin Jin On Wed, Mar 23, 2011 at 1:43 AM, Christiaan Baaij christiaan.ba...@gmail.com wrote: Hello, I am pleased to announce an incremental update to CLaSH, version 0.1.3.0. CLaSH can

Re: [Haskell-cafe] ANN: clash-0.1.3.0 (Functional Hardware Descriptions)

2011-03-25 Thread Christiaan Baaij
Hi, The 'Comp' type is an automata arrow. In version 0.1.2.5 it was called 'Stat' [1], and was actually a newtype. The definition of Comp is: data Comp i o = C {    domain :: Set.Set Clock  , exec     :: Clock - i - (o, Comp i o)  } If you don't care about clock domains you can use the

Re: [Haskell-cafe] ANN: clash-0.1.3.0 (Functional Hardware Descriptions)

2011-03-23 Thread Christiaan Baaij
I now also fixed the examples on the website [1] to work with version 0.1.3.0 of CLaSH :-) -- Christiaan [1] http://clash.ewi.utwente.nl On Mar 22, 2011, at 6:43 PM, Christiaan Baaij wrote: Hello, I am pleased to announce an incremental update to CLaSH, version 0.1.3.0. CLaSH can

[Haskell-cafe] ANN: clash-0.1.3.0 (Functional Hardware Descriptions)

2011-03-22 Thread Christiaan Baaij
Hello, I am pleased to announce an incremental update to CLaSH, version 0.1.3.0. CLaSH can translate a (semantic) subset of Haskell to RTL-style VHDL. Instead of being an embedded DSL like Lava or ForSyDe, CLaSH takes are more 'traditional' approach to synthesis/compilation. It uses the GHC