The Experts below are selected from a list of 19695 Experts worldwide ranked by ideXlab platform
Ozgur Sinanoglu - One of the best experts on this subject based on the ideXlab platform.
-
On the Application of Dynamic Scan Chain Partitioning for Reducing Peak Shift Power
Journal of Electronic Testing, 2010Co-Authors: Sobeeh Almukhaizim, Shouq Alsubaihi, Ozgur SinanogluAbstract:Scan-based testing of integrated circuits results in significant switching activity during the shift operations, dissipating excessive power levels. When such levels are beyond the peak power level under which the chip can functionally operate at, it may lead to an unexpected behavior of the design, resulting in a yield loss. One of the most effective solutions to reduce peak shift power is to partition the scan chains into multiple groups, wherein a single group is active at any time instance within a shift cycle. The Partitioning of the chains into groups can be performed statically, i.e., per test set, or Dynamically, i.e., per test pattern. In this work, we address the application of Dynamic scan chain Partitioning for reducing peak shift power. First, we address the application of Dynamic Partitioning to test delay faults in at-speed test techniques. Then, we formulate the scan chain Partitioning problem via Integer Linear Programming (ILP), in order to evenly distribute the transitions produced by any pattern over multiple time instances within the shift cycle, maximally reducing the peak shift power. Finally, we evaluate the power reduction benefit of Dynamic Partitioning through an extensive set of experiments using different scan configurations and test set characteristics of benchmark circuits as well as industrial designs. The results indicate that Dynamic Partitioning provides significant reduction to peak shift power over static Partitioning methods, and that the benefit is accentuated in scan architectures with fewer scan chains, test sets with more don’t care bits, and designs with larger variances of weight differences for transitions in the scan cells.
-
Dynamic scan chain Partitioning for reducing peak shift power during test
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2009Co-Authors: Sobeeh Almukhaizim, Ozgur SinanogluAbstract:Scan chain Partitioning techniques are quite effective in reducing test power, as the rippling in the clock network, scan chains, and logic is reduced altogether. Partitioning approaches implemented in a static manner may fail to reduce peak power down to the desired level, however, depending on the transition distribution of the problematic pattern in the statically constructed scan chain partitions. In this paper, we propose a Dynamic Partitioning approach capable of adapting to the transition distribution of any test pattern and, thus, of delivering near-perfect peak power reductions. The proposed Dynamic Partitioning hardware allows for the Partitioning reconfiguration on a per test pattern basis, hence delivering a solution that is test set independent, yet its quality is superior to that of any test set dependent solution.
-
ITC - Peak Power Reduction Through Dynamic Partitioning of Scan Chains
2008 IEEE International Test Conference, 2008Co-Authors: Sobeeh Almukhaizim, Ozgur SinanogluAbstract:Serial shift operations in scan-based testing impose elevated levels of power dissipation, endangering the reliability of the chip being tested. Scan chain Partitioning techniques are quite effective in reducing test power, as the rippling in the clock network, in the scan chains, and in the combination logic is reduced altogether. Partitioning approaches implemented in a static manner may fail to reduce peak power down to the desired level, however, depending on the transition distribution of the problematic pattern in the statically constructed scan chain partitions. In this paper, we propose a Dynamic Partitioning approach capable of adapting to the transition distribution of any test pattern, and thus of delivering near-perfect peak power reductions. We formulate the scan chain Partitioning problem via integer linear programming (ILP) and also propose an efficient greedy heuristic. The proposed Partitioning hardware allows for the Partitioning reconfiguration on a per test pattern basis, enabling the Dynamic Partitioning. Significant peak power reductions are thus attained cost-effectively.
Anjan Bose - One of the best experts on this subject based on the ideXlab platform.
-
A Dynamic Partitioning scheme for parallel transient stability analysis
IEEE Transactions on Power Systems, 1992Co-Authors: N. Zhu, Anjan BoseAbstract:A Dynamic Partitioning scheme for a large power system is used to speed up the transient stability solution by utilizing different step sizes for the different portions. The Partitioning and the different step sizes naturally lend themselves to a parallel implementation. Results are obtained by utilizing the successive overrelaxation (SOR) Newton parallel algorithm on the Alliant FX/8, an eight-processor parallel computer. For a 662 bus system, a total speedup, by Partitioning and parallelizing, of 33.5 is obtained. Since parallelization by itself with 8 processors can produce a speedup of about 7, the Partitioning scheme provides a speedup factor of about 5. The Partitioning scheme is not specific to either the SOR Newton algorithm or the Alliant machine, and its application to any other parallel method should result in a similar speedup. >
Bertrand Jeannet - One of the best experts on this subject based on the ideXlab platform.
-
Combining control and data abstraction in the verification of hybrid systems
2009Co-Authors: Xavier Briand, Bertrand JeannetAbstract:We address the verification of hybrid systems built as the composition of a discrete software controller interacting with a physical environment exhibiting a continuous behavior. Our goal is to attack the problem of the combinatorial explosion of discrete states that may happen if a complex software controller is considered. We propose as a solution to extend an existing abstract interpretation technique, namely Dynamic Partitioning, to hybrid systems described in a symbolic formalism. Dynamic Partitioning allows to finely tune the tradeoff between precision and efficiency in the analysis. We show the effectiveness of the approach by a case study that combines a non trivial controller specified in the synchronous dataflow programming language Lustre with its physical environment.
-
Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems
Formal Methods in System Design, 2003Co-Authors: Bertrand JeannetAbstract:We apply linear relation analysis (P. Cousot and N. Halbwachs, in 5th ACM Symposium on Principles of Programming Languages, POPL'78 , Tucson (Arizona), January 1978; N. Halbwachs, Y.E. Proy, and P. Roumanoff, Formal Methods in System Design , Vol. 11, No. 2, pp. 157–185, 1997) to the verification of declarative synchronous programs (N. Halbwachs, Science of Computer Programming, Special Issue on SAS'94 , Vol. 31, No. 1, 1998). In this approach, state Partitioning plays an important role: on one hand the precision of the results highly depends on the fineness of the Partitioning; on the other hand, a too much detailed Partitioning may result in an exponential explosion of the analysis. In this paper, we propose to Dynamically select a suitable Partitioning according to the property to be proved. The presented approach is quite general and can be applied to other abstract interpretations.
-
Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs
BRICS Report Series, 2000Co-Authors: Bertrand JeannetAbstract:We apply linear relation analysis [CH78, HPR97] to the verification of declarative synchronous programs [Hal98]. In this approach, state Partitioning plays an important role: on one hand the precision of the results highly depends on the fineness of the Partitioning; on the other hand, a too much detailed Partitioning may result in an exponential explosion of the analysis. In this paper we propose to consider very general partitions of the state space and to Dynamically select a suitable Partitioning according to the property to be proved. The presented approach is quite general and can be applied to other abstract interpretations. Keywords and Phrases: Abstract Interpretation, Partitioning, Linear Relation Analysis, Reactive Systems, Program Verification
Ralf G. Berger - One of the best experts on this subject based on the ideXlab platform.
-
Dynamic flavour release from Miglyol/water emulsions: modelling and validation
Food Chemistry, 2003Co-Authors: Swen Rabe, Ulrich Krings, Ralf G. BergerAbstract:The initial Dynamic flavour release from Miglyol/water emulsions was modelled. Modelling was merely based on theoretical physicochemical data of flavour volatiles and process parameters of a headspace apparatus used for model validation. The rate-limiting factor, determining initial flavour release, was the Dynamic Partitioning from the aqueous phase into the gas phase. This was experimentally confirmed by real time measurements of Dynamic flavour release. Improved predictions of the model were obtained when theoretical octanol/water partition coefficients were replaced by measured Miglyol/water partition coefficients.
Ralf G Erge - One of the best experts on this subject based on the ideXlab platform.
-
Dynamic flavour release from miglyol water emulsions modelling and validation
Food Chemistry, 2004Co-Authors: Swe Rabe, Ulrich Krings, Ralf G ErgeAbstract:The initial Dynamic flavour release from Miglyol/water emulsions was modelled. Modelling was merely based on theoretical physicochemical data of flavour volatiles and process parameters of a headspace apparatus used for model validation. The rate-limiting factor, determining initial flavour release, was the Dynamic Partitioning from the aqueous phase into the gas phase. This was experimentally confirmed by real time measurements of Dynamic flavour release. Improved predictions of the model were obtained when theoretical octanol/water partition coefficients were replaced by measured Miglyol/water partition coefficients.
