The perception: a probabilistic model for information storage and organization in the brain
Neurocomputing: foundations of research
Lava: hardware design in Haskell
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Hume: a domain-specific language for real-time embedded systems
Proceedings of the 2nd international conference on Generative programming and component engineering
Towards formally verifiable resource bounds for real-time embedded systems
ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems
C?aSH: Structural Descriptions of Synchronous Hardware Using Haskell
DSD '10 Proceedings of the 2010 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools
IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
Implementing Stream-Processing Applications on FPGAs: A DSL-Based Approach
FPL '11 Proceedings of the 2011 21st International Conference on Field Programmable Logic and Applications
Hume box calculus: robust system development through software transformation
Higher-Order and Symbolic Computation
Reasoning about multi-process systems with the box calculus
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Hi-index | 0.00 |
We propose to use Hume, a general purpose, functionally inspired, programming language, initially oriented to resource-aware embedded applications, to implement fine-grain parallel applications on FPGAs. We show that the Hume description of programs as a set of asynchronous boxes connected by wires has a very natural interpretation in terms of register-transfer level hardware description, hence leading to efficient implementations on FPGAs. The paper describes the basic compilation process from a subset of Hume to synthetisable RTL VHDL and show preliminary experimental results obtained with a very simple perceptron application.