IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
Handshaking in kansas lava using patch logic
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
We present Lava, a hardware description language in which concisecircuit descriptions generate compact high performance reconfigurablecores on Xilinx' FPGAs. Lava provides a rich set ofconstructs for composing sub-circuit behaviour and layout. We alsodemonstrate how Lava also supports a flexible scheme for specifyingdynamic reconfiguration which allows the automatic synthesisof dynamic reconfiguration controllers.