Publication | Closed Access
Exercises in architecture specification using CaSH
10
Citations
0
References
2010
Year
Unknown Venue
EngineeringComputer ArchitectureSoftware EngineeringArchitecture SpecificationFormal VerificationSoftware ArchitectureSocial SciencesGeneric ProgrammingHardware Description LanguageLambda AbstractionHigh-level Programming LanguageDesignComputer EngineeringComputer SciencePattern MatchingFunctional ProgrammingSoftware DesignFunctional Programming LanguageArchitectural DesignArchitecture AnalysisProgram AnalysisFormal MethodsRewriting Technique
This paper introduces the hardware specification system ClaSH by elaborating on a few non-trivial examples. ClaSH 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.