2010 Forum on Specification &Amp; Design Languages (FDL 2010) 2010
DOI: 10.1049/ic.2010.0149
|View full text |Cite
|
Sign up to set email alerts
|

Exercises in architecture specification using CaSH

Abstract: This paper introduces the hardware specification system CλaSH by elaborating on a few non-trivial examples. CλaSH is a compiling system that translates a subset of Haskell into synthesizable VHDL by a rewriting technique. This subset of Haskell includes higher order functions, polymorphism, lambda abstraction, pattern matching, and choice constructs.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2

Citation Types

0
2
0

Year Published

2010
2010
2021
2021

Publication Types

Select...
2
2
1

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(2 citation statements)
references
References 4 publications
0
2
0
Order By: Relevance
“…These strategies are adequate to describe all system resources where all the possible collaborative system and resource properties and behaviors (e.g., the structure of the processor or memory architectures) are precisely described, but we must take into account that these approaches might not be scalable concerning the distribution of the resource information. The works in [160][161][162][163] are examples of semantic-based schemes which use functional languages to describe hardware resources. The use of higher-order functions allows the composition of arbitrarily complex structures in a clear and concise way.…”
Section: Ontology and Resource Descriptionmentioning
confidence: 99%
“…These strategies are adequate to describe all system resources where all the possible collaborative system and resource properties and behaviors (e.g., the structure of the processor or memory architectures) are precisely described, but we must take into account that these approaches might not be scalable concerning the distribution of the resource information. The works in [160][161][162][163] are examples of semantic-based schemes which use functional languages to describe hardware resources. The use of higher-order functions allows the composition of arbitrarily complex structures in a clear and concise way.…”
Section: Ontology and Resource Descriptionmentioning
confidence: 99%
“…The works in [71][72][73] are examples of semantic-based schemes which use functional languages to describe hardware resources. The use of higher-order functions allows the composition of arbitrarily complex structures in a clear and concise way.…”
Section: Resource Descriptionmentioning
confidence: 99%