Handshaking in kansas lava using patch logic

Authors:
Andy Gill;Bowe Neuenschwander
Affiliations:
Information Technology and Telecommunication Center, Department of Electrical Engineering and Computer Science, The University of Kansas;Information Technology and Telecommunication Center, Department of Electrical Engineering and Computer Science, The University of Kansas
Venue:
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Year:
2012

Citing 10
Cited 0

Lava: hardware design in Haskell

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Observable Sharing for Functional Circuit Description

ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
JHDL - An HDL for Reconfigurable Systems

FCCM '98 Proceedings of the IEEE Symposium on FPGAs for Custom Computing Machines
muFP, a language for VLSI design

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Designing Reconfigurable Systems in Lava

VLSID '04 Proceedings of the 17th International Conference on VLSI Design
Lava and JBits: From HDL to Bitstream in Seconds

FCCM '01 Proceedings of the the 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines
Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation

Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation
Type-safe observable sharing in Haskell

Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
ChalkBoard: mapping functions to polygons

IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
Types and type families for hardware simulation and synthesis: the internals and externals of Kansas Lava

TFP'10 Proceedings of the 11th international conference on Trends in functional programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Designing hardware is like writing music for an orchestra - lots of pieces have to come together at the correct time for everything to work. In systems design, there is a confusing array of standards for allowing cooperating components, and little type-level support in traditional design methodologies for helping connect components with pre-arranged protocols. In this paper, we explore bringing protocol-level types to communicating processes. Inside our hardware description language Kansas Lava we introduce the notation of a patch, which is a communicating component with well-understood protocols. We build a theory round the notion of patches, which we call patch logic, and then use the patch abstraction to build a small driver for an FPGA board.