Three-dimensional (3D) reconstructions of evidence offer great potential in the field of
forensic science. They can help in the presentation of complex spatial and temporal data to …

In the field of digital integrated circuits asynchronous and especially quasi delay-insensitive
(QDI) designs are known to have a high robustness against process, voltage and …

The problem of constructing hazard-free Boolean circuits dates back to the 1940s and is an
important problem in circuit design. Our main lower-bound result unconditionally shows the …

Consider an arbitrary network of communicating modules on a chip, each requiring a local
signal telling it when to execute a computational step. There are three common solutions to …

We propose a novel method for transforming delay-line time-to-digital converters (TDCs) into
TDCs that output Gray code without relying on synchronizers. We formally prove that the …

Metastability in digital circuits is a spurious mode of operation induced by violation of
setup/hold times of stateful components. It cannot be avoided deterministically when …

The increasing complexity and modularity of contemporary systems, paired with increasing
parameter variabilities, makes the availability of flexible and robust, yet efficient, module …

In classical synchronous designs, supply voltage droops can be handled by accounting for
them in clock margins. However, this results in a significant performance hit even if droops …

We present a Karchmer-Wigderson game to study the complexity of hazard-free formulas.
This new game is both a generalization of the monotone Karchmer-Wigderson game and an …

The integration of numerous IPs with increasing RTL complexity over the system on chip
(SoC) has become a difficult task. In the SoC, multiple IPs are working on different clocks …