Higher-Order Abstraction in Hardware Descriptions with CλaSH

Autor: Gerards, Marco Egbertus Theodorus, Baaij, C.P.R., Kuper, Jan, Kooijman, Matthijs, Kitsos, P.

Publikováno v: Proceedings of the 14th EUROMICRO Conference on Digital System Design, DSD 2011, 495-502
STARTPAGE=495;ENDPAGE=502;TITLE=Proceedings of the 14th EUROMICRO Conference on Digital System Design, DSD 2011
DSD

Synchronous hardware can be straight forwardly modelled as a function from input and (current) state to an updated state and output. The C?aSH compiler can translate such a transition function, described in a functional language, to synthesisable VHD

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f5824ca2f8eaab008c74c3e953431a88
https://research.utwente.nl/en/publications/f5d1f153-cf21-4bb2-9a86-90febfd29fc6