Functional Programming Enabling Flexible Hardware Design at Low Levels of Abstraction
Doctoral thesis, 2008
wire-awareness
hardware design
functional programming
embedded domain-specific languages
Author
Emil Axelsson
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Wired - a Language for Describing Non-Functional Properties of Digital Circuits
Proceedings of International Workshop on Designing Correct Circuits. Barcelona, Spain, March 2004,;(2004)
Other conference contribution
A Functional-Logic Library for Wired
Proceedings of the ACM SIGPLAN 2007 Haskell Workshop. Freiburg, Germany, Sept 2007,;(2007)p. 37-48
Paper in proceeding
Using Lava and Wired for Design Exploration
Proceedings of the sixth international workshop on designing correct circuits, March, Vienna, Mary Sheeran and Tom Melham (editors),;(2006)
Magazine article
Flexible Hardware Design at Low Levels of Abstraction
Proceedings of Designing Correct Circuits,;(2008)
Other conference contribution
Wired: Wire-aware Circuit Description
Proceedings of TECHCON, Semiconductor Research Corporation. Portland, Oregon, Oct 2005,;(2005)
Other conference contribution
A Functional-Logic Library for Wired
Proceedings of International Workshop on Hardware Design and Functional Languages. Braga, Portugal, March 2007,;(2007)p. 95-113
Other conference contribution
Wired: Wire-Aware Circuit Design
Correct Hardware Design and Verification Methods,;Vol. 3725(2005)p. 5-19
Paper in proceeding
Subject Categories
Computer Engineering
Computer Science
Areas of Advance
Information and Communication Technology
ISBN
978-91-7385-147-3
Technical report D - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 41
Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie: 2828
EA-salen, EDIT-huset, Chalmers Tekniska Högskola
Opponent: Professor Warren Hunt, Department of Computer Sciences, University of Texas, Austin