Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Sari Onaissi

dblp:23/2435 · DBLP profile ↗
← Back
7ranked-venue papers
5as first author
0since 2021 · last 2012
—ORCID · none

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

Systems, architecture and hardware · 7 · 5 first-author

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
4 papers
Electronic design automation · 97% Hardware reliability and fault tolerance · 3%

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

TopicWeightPapersLastEvidence papers
Electronic design automation
timing analysis
0.222012
Efficient Block-Based Parameterized Timing Analysis Covering All Potentially Critical Paths · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2012
A Linear-Time Approach for Static Timing Analysis Covering All Process Corners · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2008
Electronic design automation › timing analysis
timing sign-off
0.222011
A fast approach for static timing analysis covering all PVT corners · DAC 2011
Clock skew optimization via wiresizing for timing sign-off covering all process corners · DAC 2009
Electronic design automation › timing analysis
static timing analysis
0.222011
A fast approach for static timing analysis covering all PVT corners · DAC 2011
A Linear-Time Approach for Static Timing Analysis Covering All Process Corners · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2008
Electronic design automation › timing analysis
critical path generation
0.112012
Efficient Block-Based Parameterized Timing Analysis Covering All Potentially Critical Paths · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2012
Electronic design automation › timing analysis › variation-aware timing analysis
parameterized timing analysis
0.112012
Efficient Block-Based Parameterized Timing Analysis Covering All Potentially Critical Paths · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2012
Electronic design automation › physical design › clock network synthesis
clock skew optimization
0.112009
Clock skew optimization via wiresizing for timing sign-off covering all process corners · DAC 2009
Electronic design automation
physical design
0.112009
Clock skew optimization via wiresizing for timing sign-off covering all process corners · DAC 2009
Electronic design automation › yield analysis
process variation modeling
0.112008
A Linear-Time Approach for Static Timing Analysis Covering All Process Corners · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2008
Hardware reliability and fault tolerance
process variation
0.012012
Efficient Block-Based Parameterized Timing Analysis Covering All Potentially Critical Paths · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2012

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

pruning algorithm · 0.1partial timing runs · 0.1corner sampling · 0.1wire sizing · 0.1linear programming · 0.1linear delay and slew modeling · 0.1
YearPublicationVenuePosition
2012 Efficient Block-Based Parameterized Timing Analysis Covering All Potentially Critical Paths
abstract
In order for the results of timing analysis to be useful, they must provide insight and guidance on how the circuit may be improved so as to fix any reported timing problems. A limitation of many recent variability-aware timing analysis techniques is that, while they report delay distributions, or verify multiple corners, they do not provide the required guidance for re-design. We propose an efficient block-based parameterized timing analysis technique that can accurately capture circuit delay at every point in the parameter space, by reporting all paths that can become critical. Using an efficient pruning algorithm, only those potentially critical paths are carried forward, while all other paths are discarded during propagation. This allows one to examine local robustness to parameters in different regions of the parameter space, not by considering differential sensitivity at a point (that would be useless in this context) but by knowledge of the paths that can become critical at nearby points in parameter space. We give a formal definition of this problem and propose a technique for solving it, which improves on the state of the art, both in terms of theoretical computational complexity and in terms of runtime on various test circuits.
Khaled R. Heloue, Sari Onaissi, Farid N. Najm
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.2
2011 A fast approach for static timing analysis covering all PVT corners
abstract
The increasing sensitivity of circuit performance to process, temperature, and supply voltage (PVT) variations has led to an increase in the number of process corners that are required to verify circuit timing. Typically, designers attempt to reduce this computational load by choosing, based on experience, a subset of the available corners and running static timing analysis (STA) at only these corners. Although running a few corners, which are chosen beforehand, can lead to acceptable results in some cases, this is not always the case. Our results show that in the case of setup timing analysis, one can indeed bound circuit slacks across all corners by running a small number of corners. On the other hand, we show that this is not possible in the case of hold analysis. Instead, we present an alternative method for performing fast and accurate hold timing analysis which covers all corners. In this method a full timing run is performed for a small number of corners, and partial timing runs, which cover only the clock network, are performed for others. We then combine the results of the full and partial runs to find the worst-case hold slacks over all corners. Our results show that this method is accurate and can achieve much improved runtimes.
Sari Onaissi, Feroze Taraporevala, Farid N. Najm
DAC1
2009 Clock skew optimization via wiresizing for timing sign-off covering all process corners
abstract
Manufacturing process variability impacts the performance of synchronous logic circuits by means of its effect on both clock network and functional block delays. Typically, variability in clock networks is either handled early in the design flow by assigning margins to clock network delays, or at a later stage through post-processing steps that only focus on achieving minimal skew, without regard to functional block variability. In this work, we present a technique that alters clock network lines so that the circuit meets its timing constraints at all process corners. This is done near the end of the design flow while considering delay variability in both the clock network and the functional blocks. Our method operates at the physical level and provides designers with the required changes in clock network line widths and/or lengths. This can be formulated as a Linear Programming (LP) problem, and thus can be solved efficiently. Empirical results for a set of ISCAS-89 benchmark circuits show that our approach can considerably reduce the effect of process variations on circuit performance.
Sari Onaissi, Khaled R. Heloue, Farid N. Najm
DAC1
2009 PSTA-based branch and bound approach to the silicon speedpath isolation problem
abstract
The lack of good "correlation" between pre-silicon simulated delays and measured delays on silicon (silicon data) has spurred efforts on so-called silicon debug. The identification of speed-limiting paths, or simply speedpaths, in silicon debug is a crucial step, required for both "fixing" failing paths and for accurate learning from silicon data. We propose using characterized, pre-silicon, variational timing models to identify speedpaths that can best explain the observed delays from silicon measurements. Delays of all logic paths are written as affine functions of process parameters, called hyperplanes, and a branch and bound approach is then applied to find the "best" path combinations. Our method has been tested on a set of ISCAS-89 circuits and the results show that it accurately identifies the speedpaths in most cases, and that this is achieved in a very efficient manner.
Sari Onaissi, Khaled R. Heloue, Farid N. Najm
ICCAD1
2008 Efficient block-based parameterized timing analysis covering all potentially critical paths
abstract
In order for the results of timing analysis to be useful, they must provide insight and guidance on how the circuit may be improved so as to fix any reported timing problems. A limitation of many recent variability-aware timing analysis techniques is that, while they report delay distributions, or verify multiple corners, they do not provide the required guidance for re-design. We propose an efficient block-based parameterized timing analysis technique that can accurately capture circuit delay at every point in the parameter space, by reporting all paths that can become critical. Using an efficient pruning algorithm, only those potentially critical paths are carried forward, while all other paths are discarded during propagation. This allows one to examine local robustness to parameters in different regions of the parameter space, not by considering differential sensitivity at a point (which would be useless in this context) but by knowledge of the paths that can become critical at nearby points in parameter space. We give a formal definition of this problem and propose a technique for solving it that improves on the state of the art, both in terms of theoretical computational complexity and in terms of run time on various test circuits.
Khaled R. Heloue, Sari Onaissi, Farid N. Najm
ICCAD2
2008 A Linear-Time Approach for Static Timing Analysis Covering All Process Corners
abstract
Manufacturing process variations lead to circuit timing variability and a corresponding timing yield loss. Traditional corner analysis consists of checking all process corners (combinations of process parameter extremes) to make sure that circuit timing constraints are met at all corners, typically by running static timing analysis (STA) at every corner. This approach is becoming too expensive due to the increase in the number of corners with modern processes. As an alternative, we propose a linear-time approach for STA which covers all process corners in a single pass. Our technique assumes a linear dependence of delays and slews on process parameters and provides estimates of the worst case circuit delay and slew. It exhibits high accuracy in practice, and if the circuit has gates and relevant process parameters, the complexity of the algorithm is O(mn).
Sari Onaissi, Farid N. Najm
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.1
2006 A linear-time approach for static timing analysis covering all process corners
abstract
Manufacturing process variations lead to circuit timing variability and a corresponding timing yield loss. Traditional corner analysis consists of checking all process corners (combinations of process parameter extremes) to make sure that circuit timing constraints are met at all corners, typically by running static timing analysis (STA) at every corner. This approach is becoming too expensive due to the exponential increase in the number of corners with modern processes. As an alternative, we propose a linear-time approach for STA which covers all process corners in a single pass. Our technique assumes a linear dependence of delay on process parameters and provides tight bounds on the worst-case circuit delay. It exhibits high accuracy (within 1-3%) in practice and, if the circuit has m gates and n relevant process parameters, the complexity of the algorithm is O(mn).
Sari Onaissi, Farid N. Najm
ICCAD1