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

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. Expe...

Full description

Bibliographic Details
Main Author: John T. O'Donnell
Format: Article
Language:English
Published: Open Publishing Association 2013-01-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1301.5075v1
id doaj-aa79f299fa894d45a33751e23f6abf9d
record_format Article
spelling doaj-aa79f299fa894d45a33751e23f6abf9d2020-11-24T22:06:31ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802013-01-01106Proc. TFPIE 2012203910.4204/EPTCS.106.2Connecting the Dots: Computer Systems Education using a Functional Hardware Description LanguageJohn T. O'DonnellA 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. http://arxiv.org/pdf/1301.5075v1
collection DOAJ
language English
format Article
sources DOAJ
author John T. O'Donnell
spellingShingle John T. O'Donnell
Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language
Electronic Proceedings in Theoretical Computer Science
author_facet John T. O'Donnell
author_sort John T. O'Donnell
title Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language
title_short Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language
title_full Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language
title_fullStr Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language
title_full_unstemmed Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language
title_sort connecting the dots: computer systems education using a functional hardware description language
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2013-01-01
description 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.
url http://arxiv.org/pdf/1301.5075v1
work_keys_str_mv AT johntodonnell connectingthedotscomputersystemseducationusingafunctionalhardwaredescriptionlanguage
_version_ 1725823334082412544