Siad Daboul

dblp:231/1180 · DBLP profile ↗
← Back
5ranked-venue papers
5as first author
2since 2021 · last 2023
0000-0002-5864-9385ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 4 · 4 first-author · 1 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Electronic design automation · 100%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Electronic design automation › logic synthesis › technology mapping
cell selection
0.312018
Provably Fast and Near-Optimum Gate Sizing · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2018
Electronic design automation › physical design
gate sizing
0.312018
Provably Fast and Near-Optimum Gate Sizing · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2018

Methods — techniques the papers use, named apart from their topics

parallelization · 0.3multiplicative weight update · 0.3lagrangian relaxation · 0.3
YearPublicationVenuePosition
2023 Global Interconnect Optimization
abstract
We propose a new comprehensive solution to global interconnect optimization. Traditional buffering algorithms mostly insert repeaters on a net-by-net basis based on slacks and possibly guided by global wires. We show how to integrate routing congestion, placement congestion, global timing constraints, power consumption, and additional constraints into a single resource sharing formulation. The core of our algorithm is a new buffered routing subroutine. Given a net and Lagrangean resource prices for routing, timing, placement, and power, it computes a buffered Steiner tree. The resource sharing framework provides a special multiplicative price update for fast convergence. Our algorithm is fast enough for practical instances. We demonstrate experimentally on 7nm microprocessor units that it significantly improves timing while reducing netlength and power consumption in an industrial design flow. Our implementation scales well under parallelization with up to 128 threads.
Siad Daboul, Stephan Held, Bento Natura, Daniel Rotter
ACM Trans. Design Autom. Electr. Syst.1
2021 Approximating the Discrete Time-Cost Tradeoff Problem with Bounded Depth
Siad Daboul, Stephan Held, Jens Vygen
IPCO1
2019 Global Interconnect Optimization
abstract
We propose a new comprehensive solution to global interconnect optimization. Traditional buffering algorithms mostly insert repeaters on a net-by-net basis based on slacks and possibly guided by global wires. We show how to integrate routing congestion, placement congestion, global timing constraints, power consumption, and additional constraints into a single resource sharing formulation. The core of our algorithm is a new buffered routing subroutine. Given a net and Lagrangean resource prices for routing, timing, placement, and power, it computes a buffered global route. The resource sharing framework provides a special multiplicative price update for fast convergence. Our algorithm is fast enough for practical instances. We demonstrate experimentally on 7nm microprocessor units that it significantly improves timing while reducing netlength and power consumption in an industrial design flow.
Siad Daboul, Stephan Held, Bento Natura, Daniel Rotter
ICCAD1
2018 Provably Fast and Near-Optimum Gate Sizing
abstract
We present a new approach for the cell selection problem based on a resource sharing formulation, which is a specialization of Lagrangian relaxation with multiplicative weight updates. For the convex continuous gate sizing problem, we can prove fast polynomial running times. This theoretical result also gives some justification to previous heuristic multiplicative weight update methods. For the discrete cell selection problem, where voltage thresholds can also be chosen, we employ the new algorithm heuristically and achieve superior results on industrial benchmarks compared with one of the previously best known algorithms, and competitive results on the ISPD 2013 benchmarks. Finally, we demonstrate how the approach can be parallelized effectively achieving speed-ups of up to 16.
Siad Daboul, Nicolai Hähnle, Stephan Held, Ulrike Schorr
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.1
2018 An Approximation Algorithm for Threshold Voltage Optimization
abstract
We present a primal-dual approximation algorithm for minimizing the leakage power of an integrated circuit by assigning gate threshold voltages. While most existing techniques do not provide a performance guarantee, we prove an upper bound on the power consumption. The algorithm is practical and works with an industrial sign-off timer. It can be used for post-routing power reduction or for optimizing leakage power throughout the design flow. We demonstrate the practical performance on recent microprocessor units. Our implementation obtains significant leakage power reductions of up to 8% on top of one of the most successful algorithms for gate sizing and threshold voltage optimization. After timing-aware global routing, we achieve leakage power reductions of up to 34%.
Siad Daboul, Stephan Held, Jens Vygen, Sonja Wittke
ACM Trans. Design Autom. Electr. Syst.1