CaltechAUTHORS
  A Caltech Library Service

Understanding Hierarchical Design

Rowson, James Allely (1980) Understanding Hierarchical Design. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1980.3710--tr-80

[img]
Preview
Other (Adobe PDF (7.4MB))
See Usage Policy.

7Mb
[img]
Preview
Postscript
See Usage Policy.

7Mb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1980.3710--tr-80

Abstract

With the exponential improvement in integrated circuit technology comes the problem Of how to design systems containing millions of devices. This thesis presents a new look at hierarchical design based on the Caltech structured design methodology. The hierarchy is separated into two parts: leaf cells, containing no instances of other cells, and composition cells, containing only instances of other cells. A leaf cell can be implemented in many different representations. A representation consists of a set of leaf cells and a composition rule that builds correct higher level cells. The separated hierarchy is suitable for mathematical analysis by the use of Curry's theory of combinators. In this form, a hierarchy is represented by a mathematical operator that produces a digital system from the leaf cells. The question of hierarchical equivalence is examined. Three sample composition rules, or algorithms, are presented as examples. The SLAP system provides a geometry composition rule that produces the mask description of a system given the geometries of the leaf cells. In analogy to TYPEing in a programming language, two representations that enforce a certain design style are discussed. The first TYPE system guarantees signal integrity. The second TYPE system guarantees mutual exclusion between the sources on a bus.


Item Type:Report or Paper (Technical Report)
Group:Computer Science Technical Reports
Record Number:CaltechCSTR:1980.3710--tr-80
Persistent URL:http://resolver.caltech.edu/CaltechCSTR:1980.3710--tr-80
Usage Policy:You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.
ID Code:27024
Collection:CaltechCSTR
Deposited By: Imported from CaltechCSTR
Deposited On:27 Aug 2002
Last Modified:26 Dec 2012 14:12

Repository Staff Only: item control page