论文信息 - An embedded language approach to teaching hardware compilation

An embedded language approach to teaching hardware compilation

This paper describes a course in hardware description and synthesis (hardware compilation), taught as an introductory graduate course at Chalmers University of Technology, and as an advanced undergraduate course at the University of Malta. The functional programming language Haskell was used both to describe circuits and circuit synthesis schemes.

Koen Claessen | Gordon J. Pace

[1] John T. O'Donnell,et al. Generating Netlists from Executable Circuit Specifications , 1992, Functional Programming.

[2] Mary Sheeran,et al. The Design and Veri cation of a Sorter Core , 2001 .

[3] John J. O'Donnell. From Transistors to Computer Architecture: Teaching Functional Circuit Specification in Hydra , 1995, FPLE.

[4] Gordon J. Pace,et al. An embedded language framework for hardware compilation , 2002 .

[5] Niklaus Wirth. Hardware Compilation: Translating Programs into Circuits , 1998, Computer.

[6] David May,et al. Compiling Occam into silicon , 1991 .

[7] John Launchbury,et al. Specifying superscalar microprocessors in Hawk , 1998 .

[8] Ian Page,et al. Compiling occam into Field-Programmable Gate Arrays , 2001 .

[9] Mary Sheeran,et al. A Tutorial on Lava: A Hardware Description and Verification System , 2000 .

[10] Koen Claessen,et al. Observable Sharing for Functional Circuit Description , 1999, ASIAN.

[11] Mary Sheeran,et al. The Design and Verification of a Sorter Core , 2001, CHARME.

[12] Richard Sharp,et al. A Statically Allocated Parallel Functional Language , 2000, ICALP.

[13] Ian Page. Constructing hardware-software systems from a single description , 1996, J. VLSI Signal Process..