Skip to main content

1983 | OriginalPaper | Buchkapitel

Trace Theory and the Definition of Hierarchical Components

verfasst von : Martin Rem, Jan L. A. van de Snepscheut, Jan Tijmen Udding

Erschienen in: Third Caltech Conference on Very Large Scale Integration

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

The relevance of trace theory to the design of VLSI circuits is discussed. We present an introduction to trace theory and to regular trace structures in particular. We show, in a number of examples, how trace theory can be used to reason about and to prove properties of hierarchical components.

Metadaten
Titel
Trace Theory and the Definition of Hierarchical Components
verfasst von
Martin Rem
Jan L. A. van de Snepscheut
Jan Tijmen Udding
Copyright-Jahr
1983
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-95432-0_13

Neuer Inhalt