Enabling exact delay synthesis

L Amarú, M Soeken, P Vuillod, J Luo… - 2017 IEEE/ACM …, 2017 - ieeexplore.ieee.org
Given (i) a Boolean function,(ii) a set of arrival times at the inputs, and (iii) a gate library with
associated delay values, the exact delay synthesis problem asks for a circuit implementation …

Synthesis of all-digital delay lines

A Moreno, J Cortadella - 2017 23rd IEEE international …, 2017 - ieeexplore.ieee.org
The synthesis of delay lines (DLs) is a core task during the generation of matched delays,
ring oscillator clocks or delay monitors. The main figure of merit of a DL is the fidelity to track …

Delay estimation VLSI circuits from a high-level view

M Nemani, FN Najm - Proceedings of the 35th Annual Design …, 1998 - dl.acm.org
Estimation of the delay of a Boolean function from its functional description is an important
step towards design exploration at the register transfer level (RTL). This paper addresses …

HEDALS: Highly Efficient Delay-driven Approximate Logic Synthesis

C Meng, Z Zhou, Y Yao, S Huang… - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
Approximate computing is an emerging paradigm for error-tolerant applications. By
introducing a reasonable amount of inaccuracy, both the area and delay of a circuit can be …

Timing variation-aware high-level synthesis

J Jung, T Kim - 2007 IEEE/ACM International Conference on …, 2007 - ieeexplore.ieee.org
The timing closure problem is one of the most important problems in the design automation.
However, the rapid increase of the impact of the process variation on circuit timing makes …

[PDF][PDF] Circuit delay models and their exact computation using timed boolean functions

WKC Lam, RK Brayton… - Proceedings of the 30th …, 1993 - dl.acm.org
We propose a general circuit delay model that unifies all previous delay models, eg floating,
viability, and transition delays, and models introduced in this paper, eg delays by sequences …

Timing optimization by restructuring long combinatorial paths

J Werber, D Rautenbach… - 2007 IEEE/ACM …, 2007 - ieeexplore.ieee.org
We present an implementation of an algorithm for constructing provably fast circuits for a
class of Boolean functions with input signals that have individual starting times. We show …

HIMap: a heuristic and iterative logic synthesis approach

X Li, L Chen, F Yang, M Yuan, H Yan… - Proceedings of the 59th …, 2022 - dl.acm.org
Recently, many models show their superiority in sequence and parameter tuning. However,
they usually generate non-deterministic flows and require lots of training data. We thus …

DALS: Delay-driven approximate logic synthesis

Z Zhou, Y Yao, S Huang, S Su… - 2018 IEEE/ACM …, 2018 - ieeexplore.ieee.org
Approximate computing is an emerging paradigm for error-tolerant applications. By
introducing a reasonable amount of inaccuracy, both the area and delay of a circuit can be …

A fine-grained, uniform, energy-efficient delay element for FD-SOI technologies

A Singhvi, MT Moreira, RN Tadros… - 2015 IEEE Computer …, 2015 - ieeexplore.ieee.org
Contemporary digitally controlled delay elements trade off power overheads and delay
quantization error. This paper proposes a new delay element that provides a balanced …