Digital integrated circuits: a design perspective
Digital integrated circuits: a design perspective
Synthesis and Optimization of Digital Circuits
Synthesis and Optimization of Digital Circuits
A Discipline of Programming
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Trace Refinement of Action Systems
CONCUR '94 Proceedings of the Concurrency Theory
Design of Synchronous Action Systems
VLSID '00 Proceedings of the 13th International Conference on VLSI Design
Hi-index | 0.00 |
The action systems formalism has recently been applied to the area of asynchronous and synchronous VLSI design. In this paper, we study formal aspects of synchronous pipelining. We show how the framework of synchronous action systems can be used to derive a pipelined structure from a non-pipelined specification in a correctness-preserving manner.