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
In high-performance processors, increasing the number of instructions fetched and executed in parall...
Abstract Ð Many asynchronous designs are naturally speci®ed and implemented hierarchically as an int...
We present a hierarchical methodology for ensuring functionally correct VLSI designs. This methodolo...
The relevance of trace theory to the design of VLSI circuits is discussed. We present an introductio...
In this paper we show how trace theory can be used to describe the behaviour of concurrent systems ...
Introduces a theory of traces and a notation for programs consisting of a hierarchy of components. T...
This thesis examines the use of a structured design methodology in the design of asynchronous circui...
A transistor level representation for VLSI circuits is presented. This representation is simple but ...
VLSI is a medium in which computations can be realized that exhibit a high degree of concurrency. Co...
The development of a theoretical basis for a technology-independent, false-error free, hierarchical ...
We investigate asynchronous circuit verication using Dill's trace theory [1] as well as Milner&...
In high-performance processors, increasing the number of instructions fetched and executed in parall...
Abstract Ð Many asynchronous designs are naturally speci®ed and implemented hierarchically as an int...
We present a hierarchical methodology for ensuring functionally correct VLSI designs. This methodolo...
The relevance of trace theory to the design of VLSI circuits is discussed. We present an introductio...
In this paper we show how trace theory can be used to describe the behaviour of concurrent systems ...
Introduces a theory of traces and a notation for programs consisting of a hierarchy of components. T...
This thesis examines the use of a structured design methodology in the design of asynchronous circui...
A transistor level representation for VLSI circuits is presented. This representation is simple but ...
VLSI is a medium in which computations can be realized that exhibit a high degree of concurrency. Co...
The development of a theoretical basis for a technology-independent, false-error free, hierarchical ...
We investigate asynchronous circuit verication using Dill's trace theory [1] as well as Milner&...
In high-performance processors, increasing the number of instructions fetched and executed in parall...
Abstract Ð Many asynchronous designs are naturally speci®ed and implemented hierarchically as an int...
We present a hierarchical methodology for ensuring functionally correct VLSI designs. This methodolo...
DOI
Add to ORKG