From 9cc0ced6d48897fdc2253bb35b0c1b8c49f84f83 Mon Sep 17 00:00:00 2001 From: Christiaan Baaij Date: Thu, 25 Feb 2010 16:48:46 +0100 Subject: [PATCH] Update parts of related work section on Lava and VHDL-2008 --- "c\316\273ash.lhs" | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) 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}. % -- 2.30.2