An applicative framework for VLSI programming.

TL;DRAbstract

In the last few years there has been a growing interest in language-based hardware design and analysis. Unfortunately, the choice of a linguistic framework is still a major issue. In this thesis we argue that an applicative, wide-spectrum linguistic framework in which specifications as well as implementations can be expressed is the best candidate for this task. A higher order, strongly typed Applicative System Description Language (ASDL) in which only well founded recursion can be described has been designed and implemented in order to demonstrate these principles in language design. The main contribution of this work is that, within a single, architecture-independent framework, a variety of design concerns (views) can be expressed and formally manipulated. Therefore, this thesis offers additional evidence for the fact that VLSI design may be regarded as a kind of applicative programming. This is important because we can expect that the productivity gains exhibited by applicative prog

Chat with Paper

AI Agents for this Paper