EEMCS EPrints Service
|
||||||||||||||||
2011
Gerards, M.E.T. and Baaij, C.P.R. and Kuper, J. and Kooijman, M.
(2011)
Higher-Order Abstraction in Hardware Descriptions with CλaSH.
In: Proceedings of the 14th EUROMICRO Conference on Digital System Design, DSD 2011, 31 Aug - 2 Sept 2011, Oulu, Finland.
pp. 495-502.
IEEE Computer Society.
ISBN 978-0-7695-4494-6
2010
Baaij, C.P.R. and Kooijman, M. and Kuper, J. and Boeijink, W.A. and Gerards, M.E.T.
(2010)
CλaSH: Structural Descriptions of Synchronous Hardware using Haskell.
In: Proceedings of the 13th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, 1-3 Sep 2010, Lille, France.
pp. 714-721.
IEEE Computer Society.
ISBN 978-0-7695-4171-6
Gerards, M.E.T. and Baaij, C.P.R. and Kuper, J. and Kooijman, M.
(2010)
Hiding State in CλaSH Hardware Descriptions.
In: Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages (IFL 2010), 01-03 Sept 2010, Alphen aan den Rijn, the Netherlands.
pp. 107-119.
Utrecht University.
ISSN 0924-3275
Kuper, J. and Baaij, C.P.R. and Kooijman, M. and Gerards, M.E.T.
(2010)
Exercises in architecture specification using CλaSH.
In: Proceedings of Forum on Specification and Design Languages, FDL 2010, 13-16 September 2010, Southampton, England.
pp. 178-183.
ECSI Electronic Chips & Systems design Initiative.
ISSN 1636-9874
Niedermeier, A. and Wester, R. and Baaij, C.P.R. and Kuper, J. and Smit, G.J.M.
(2010)
Comparing CλaSH and VHDL by implementing a dataflow processor.
In: Proceedings of the Workshop on PROGram for Research on Embedded Systems and Software (PROGRESS 2010), 18-19 Nov 2010, Veldhoven, The Netherlands.
pp. 216-221.
Technology Foundation STW.
ISBN 978-90-73461-67-3
Niedermeier, A. and Wester, R. and Rovers, K.C. and Baaij, C.P.R. and Kuper, J. and Smit, G.J.M.
(2010)
Designing a dataflow processor using CλaSH.
In: 28th Norchip Conference, NORCHIP 2010, 15-16 November 2010, Tampere, Finland.
69.
IEEE Circuits and Systems Society.
ISBN 978-1-4244-8971-8
Smit, G.J.M. and Kuper, J. and Baaij, C.P.R.
(2010)
A mathematical approach towards hardware design.
In: Dagstuhl Seminar on Dynamically Reconfigurable Architectures, 11-16 Jul 2010, Dagstuhl, Germany.
11.
Dagstuhl Seminar Proceedings 10281.
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI).
ISSN 1862-4405
2009
Baaij, C.P.R. and Kooijman, M. and Kuper, J. and Gerards, M.E.T. and Molenkamp, E.
(2009)
Tool Demonstration: CLasH - From Haskell to Hardware.
In: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, Edinburgh, Scotland.
pp. 3-3.
ACM.
ISBN 978-1-60558-508-6
|
||||||||||||||||