case expressions, if expressions) are well suited to describe conditional
assigment in the hardware.
case expressions, if expressions) are well suited to describe conditional
assigment in the hardware.
-Useful features from the functional perspective, like polymorphism and higher
-order functions and expressions also prove suitable to describe hardware
-and our implementation shows that they can be translated to \VHDL as
-well.
+Useful features from the functional perspective, like polymorphism and
+higher-order functions and expressions also prove suitable to describe
+hardware and our implementation shows that they can be translated to
+\VHDL as well.
A prototype compiler was created in this research. For this prototype the
Haskell language was chosen as the input language, instead of creating a new
language from scratch. This has enabled creating the prototype rapidly,
allowing for experimenting with various functional language features and
interpretations in Cλash. Even supporting more complex features like
A prototype compiler was created in this research. For this prototype the
Haskell language was chosen as the input language, instead of creating a new
language from scratch. This has enabled creating the prototype rapidly,
allowing for experimenting with various functional language features and
interpretations in Cλash. Even supporting more complex features like
compiler would have been designed from scratch, that new language would not
have been nearly as advanced as current Cλash.
compiler would have been designed from scratch, that new language would not
have been nearly as advanced as current Cλash.
that hear about using a functional language for hardware description
instantly hope to be able to provide a concise mathematical description
of their algorithm and have the hardware generated for them. Since this
that hear about using a functional language for hardware description
instantly hope to be able to provide a concise mathematical description
of their algorithm and have the hardware generated for them. Since this
even start solving it. However, hopefully the current Cλash system
provides a solid base on top of which further experimentation with
functional descriptions can be built.
even start solving it. However, hopefully the current Cλash system
provides a solid base on top of which further experimentation with
functional descriptions can be built.