Communicating sequential processes
Communicating sequential processes
Communications of the ACM
Algebraic theory of processes
Predicate calculus and program semantics
Predicate calculus and program semantics
Communicating sequential processes
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
A Discipline of Programming
Trace Theory and Systolic Computations
Proceedings of the Parallel Architectures and Languages Europe, Volume I: Parallel Architectures PARLE
Modulo-N Counters: Design and Analysis of Delay-Insensitive Circuits
Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits
Implementing a Stack as a Delay-insensitive Circuit
Proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies
VLSI Programming of a Modulo-N Counter with Constant Response Time and Constant Power
Proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies
The VLSI-programming language tangram and its translation into handshake circuits
EURO-DAC '91 Proceedings of the conference on European design automation
Hi-index | 0.00 |
A counter is calculationally designed by applying a functional way of programming, in which a machine is conceived as a function from states to behaviours. The design exploits the fine-grained concurrency available in VLSI. It is obtained by applying a series of correctness-preserving transformations on an initial design, which satisfies the functional specification but does not meet the cost/performance requirements. The transformations are purely calculational, i.e. they are based on a few simple axioms. The design is generic in that it describes counters with all possible periods. An attractive property of the design is that all these counters have the same response time as well as the same power dissipation.