From: Christiaan Baaij Date: Thu, 25 Feb 2010 15:48:46 +0000 (+0100) Subject: Update parts of related work section on Lava and VHDL-2008 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=9cc0ced6d48897fdc2253bb35b0c1b8c49f84f83;p=matthijs%2Fmaster-project%2Fdsd-paper.git Update parts of related work section on Lava and VHDL-2008 --- diff --git "a/c\316\273ash.lhs" "b/c\316\273ash.lhs" index 438cce4..c4a281f 100644 --- "a/c\316\273ash.lhs" +++ "b/c\316\273ash.lhs" @@ -1135,7 +1135,7 @@ tools for formal verification. Lava descriptions are actually circuit generators when viewed from a synthesis viewpoint, in that the language elements of Haskell, such as choice, can be used to guide the circuit generation. If a developer wants to insert a choice element inside an actual -circuit he will have to specify this explicitly as a component. +circuit he will have to explicitly instantiate a multiplexer-like component. In this respect \CLaSH\ differs from Lava, in that all the choice elements, such as case-statements and pattern matching, are synthesized to choice @@ -1145,11 +1145,9 @@ mentioned in this section. The merits of polymorphic typing, combined with higher-order functions, are now also recognized in the `main-stream' hardware description languages, -exemplified by the new \VHDL-2008 standard~\cite{VHDL2008}. \VHDL-2008 has -support to specify types as generics, thus allowing a developer to describe +exemplified by the new \VHDL-2008 standard~\cite{VHDL2008}. \VHDL-2008 support for generics has been extended to types, allowing a developer to describe polymorphic components. Note that those types still require an explicit -generic map, whereas type-inference and type-specialization are implicit in -\CLaSH. +generic map, whereas types can be automatically inferred in \CLaSH. % Wired~\cite{Wired},, T-Ruby~\cite{T-Ruby}, Hydra~\cite{Hydra}. %