This thesis investigates the advantages of using functional programming as a hardware description tool. The functional programming paradigm shares a lot of similarities with hardware, as it is highly parallel in nature and has a notion of structure in its descriptions. Furthermore, it operates on a higher-level of abstraction compared to commonly-used hardware description languages, which facilitates the design- and debugging process. The thesis explores the Viterbi decoder in detail, and looks at related hardware implementation techniques. The decoder is implemented in the functional programming language Haskell, and transformed to a synthesizable SystemVer- ilog description with a tool known as CLaSH. The generated solution is verifed wi...
This paper aims to explain why I am still fascinated by the use of functional languages in hardware ...
Abstraction in hardware description languages stalled at the register-transfer level decades ago, ye...
Lava is a tool to assist circuit designers in specifying, designing, verifying and implementing hard...
With the increasing size and complexity of designs in electronics, new approaches are required for t...
This paper describes a project that helps hardware developers in generating cryptographic hardware. ...
To provide high performance at practical power levels, tomorrow’s chips will have to consist primari...
ITC/USA 2009 Conference Proceedings / The Forty-Fifth Annual International Telemetering Conference a...
This thesis contains a collection of work I have performed while working on Dr. Erik Perrins' Effici...
<p>Continuous down-scaling of sizes in VLSI circuits causes low-level electrical phenomena to become...
In order to effectively utilize the growing number of resources available on FPGAs, higher level abs...
The goal of deductive design is the systematic construction of a system implementation starting from...
Over the last three decades, the number of transistors used in microchips has increased by three ord...
The aim of this thesis is to research how the functional paradigm can be used for hardware accelerat...
We develop a Haskell library for functional-logic programming and apply it to the implementation of ...
Functional programming has come of age: it is now a standard course in any computer science curricul...
This paper aims to explain why I am still fascinated by the use of functional languages in hardware ...
Abstraction in hardware description languages stalled at the register-transfer level decades ago, ye...
Lava is a tool to assist circuit designers in specifying, designing, verifying and implementing hard...
With the increasing size and complexity of designs in electronics, new approaches are required for t...
This paper describes a project that helps hardware developers in generating cryptographic hardware. ...
To provide high performance at practical power levels, tomorrow’s chips will have to consist primari...
ITC/USA 2009 Conference Proceedings / The Forty-Fifth Annual International Telemetering Conference a...
This thesis contains a collection of work I have performed while working on Dr. Erik Perrins' Effici...
<p>Continuous down-scaling of sizes in VLSI circuits causes low-level electrical phenomena to become...
In order to effectively utilize the growing number of resources available on FPGAs, higher level abs...
The goal of deductive design is the systematic construction of a system implementation starting from...
Over the last three decades, the number of transistors used in microchips has increased by three ord...
The aim of this thesis is to research how the functional paradigm can be used for hardware accelerat...
We develop a Haskell library for functional-logic programming and apply it to the implementation of ...
Functional programming has come of age: it is now a standard course in any computer science curricul...
This paper aims to explain why I am still fascinated by the use of functional languages in hardware ...
Abstraction in hardware description languages stalled at the register-transfer level decades ago, ye...
Lava is a tool to assist circuit designers in specifying, designing, verifying and implementing hard...