English

Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language

Computers and Society 2013-01-23 v1 Programming Languages

Abstract

A functional hardware description language enables students to gain a working understanding of computer systems, and to see how the levels of abstraction fit together. By simulating circuits, digital design becomes a living topic, like programming, and not just a set of inert facts to memorise. Experiences gained from more than 20 years of teaching computer systems via functional programming are discussed.

Keywords

Cite

@article{arxiv.1301.5075,
  title  = {Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language},
  author = {John T. O'Donnell},
  journal= {arXiv preprint arXiv:1301.5075},
  year   = {2013}
}

Comments

In Proceedings TFPIE 2012, arXiv:1301.4650

R2 v1 2026-06-21T23:13:16.291Z