— This paper presents a method for correct-by-construction microarchitectural pipelining that handles cyclic systems with dependencies between iterations. Our method combines pre...
Timothy Kam, Michael Kishinevsky, Jordi Cortadella...
The aim of this paper is to describe various types of synchronization phenomena discovered in our earlier studies of dynamics of Cellular Nonlinear Networks composed of locally in...
Antonio Andreescu, Zbigniew Galias, Maciej Ogorzal...
We consider the relationship between size and depth for layered Boolean circuits, synchronous circuits and planar circuits as well as classes of circuits with small separators. In ...
In this paper, we address the following problem: given a synchronous digital circuit, is it possible to construct a new circuit computing the same function as the original one but...