Hardware design and Functional Languages

HFL 2007

HFL 2009

Hardware designs today are more than three orders of magnitude larger than the designs of the 1980s, yet the abstraction level of design descriptions has not changed. To compound the problem, some of our traditional simplifying assumptions -- for example, that wire delay can be neglected in early stages of the design cycle -- are no longer valid. An abstraction breakthrough is sorely needed.

The HFL workshops focus on using modern programming language techniques -- in particular, techniques derived from the field of functional programming -- to describe hardware abstractly yet precisely. A major aim of HFL is to facilitate communication and debate among academic and industrial researchers in programming languages, hardware description, high-level modeling, verification, and formal design environments.

For futher information, please send email to Andy Martin at