CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Wired - a Language for Describing Non-Functional Properties of Digital Circuits

Emil Axelsson (Institutionen för datavetenskap, Formella metoder) ; Mary Sheeran (Institutionen för datavetenskap, Formella metoder) ; Koen Claessen (Institutionen för datavetenskap, Formella metoder)
Proceedings of International Workshop on Designing Correct Circuits. Barcelona, Spain, March 2004 (2004)
[Konferensbidrag, övrigt]

Increasingly, designers need to estimate non-functional properties such as area, power consumption and timing, even when working at a high level of abstraction, early in the design. In deep sub-micron processes, it is the routing wires that account for most of the power consumption and signal delays. So, information about the wires is vital for controlling non-functional properties. To deal with more and more complex constructions, current design methods and languages strive towards higher and higher levels of abstraction, and provide only very limited possibilities for low-level control. Often, detailed information about wire properties is only available in the very last design stages - after placement and routing. We propose a language, Wired, that aims to bridge this gap in abstraction levels. The main idea is construction with combinators and higher-order connection patterns. The key to the usefulness of this style is that the combinators have both functional and geometric interpretations. This allows us to construct circuits at high-level, without loosing control over lower levels. Wired goes further than previous methods in that it offers more precise and flexible control over the geometry.

Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2008-01-02. Senast ändrad 2012-04-12.
CPL Pubid: 64029


Institutioner (Chalmers)

Institutionen för datavetenskap, Formella metoder (2002-2004)


Informations- och kommunikationsteknik

Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:

Functional Programming Enabling Flexible Hardware Design at Low Levels of Abstraction