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

Murari Mani

dblp:82/105 · DBLP profile ↗
← Back
7ranked-venue papers
5as first author
0since 2021 · last 2007
—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
3 papers
Electronic design automation · 49% Energy-efficient computing · 37% Integrated circuit design · 14%
Theoretical computer science
1 paper
Mathematical optimization · 100%

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

TopicWeightPapersLastEvidence papers
Integrated circuit design
low-power circuit design
0.122006
An efficient algorithm for statistical minimization of total power under timing yield constraints · DAC 2005
Gain-based technology mapping for minimum runtime leakage under input vector uncertainty · DAC 2006
Energy-efficient computing
low-power design
0.112007
A Statistical Algorithm for Power- and Timing-Limited Parametric Yield Optimization of Large Integrated Circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2007
Electronic design automation › design for manufacturability › design for yield
parametric yield optimization
0.112007
A Statistical Algorithm for Power- and Timing-Limited Parametric Yield Optimization of Large Integrated Circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2007
Mathematical optimization › continuous optimization
convex optimization
0.112007
A Statistical Algorithm for Power- and Timing-Limited Parametric Yield Optimization of Large Integrated Circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2007
Mathematical optimization › continuous optimization › convex optimization › conic optimization
second-order cone programming
0.112007
A Statistical Algorithm for Power- and Timing-Limited Parametric Yield Optimization of Large Integrated Circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2007
Energy-efficient computing
leakage power reduction
0.112006
Gain-based technology mapping for minimum runtime leakage under input vector uncertainty · DAC 2006
Electronic design automation
logic synthesis
0.112006
Gain-based technology mapping for minimum runtime leakage under input vector uncertainty · DAC 2006
Electronic design automation › logic synthesis
technology mapping
0.112006
Gain-based technology mapping for minimum runtime leakage under input vector uncertainty · DAC 2006
Energy-efficient computing › low-power design
dual-threshold voltage assignment
0.112005
An efficient algorithm for statistical minimization of total power under timing yield constraints · DAC 2005
Electronic design automation › physical design
gate sizing
0.112005
An efficient algorithm for statistical minimization of total power under timing yield constraints · DAC 2005

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

robust optimization · 0.1dual threshold-voltage assignment · 0.1interior-point method · 0.1interior point method · 0.1probability-aware optimization · 0.1gain-based technology mapping · 0.1statistical robust optimization · 0.1second-order conic programming · 0.1interior-point optimization · 0.1
YearPublicationVenuePosition
2007 A Statistical Algorithm for Power- and Timing-Limited Parametric Yield Optimization of Large Integrated Circuits
abstract
Variability in process parameters leads to a significant parametric yield loss of high-performance ICs due to the large spread in leakage-power consumption and speed of chips. In this paper, we propose an algorithm for total power minimization under timing constraints in the presence of variability. The algorithm is formulated as a robust optimization program with a guarantee of power and timing yields, with both power and timing metrics being treated probabilistically. Power reduction is performed by simultaneous sizing and dual threshold-voltage assignment. An extremely fast run-time is achieved by casting the problem as a second-order conic problem and solving it using efficient interior-point optimization methods. The performance of the algorithm was evaluated on a variety of public and industrial benchmarks, with a library characterized using 70-nm Berkeley Predictive Technology Model. When compared to the deterministic optimization, the new algorithm, on average, reduces static power and total power at the 99.9th quantile by 31% and 17%, respectively, without loss of parametric yield. The run-time on the benchmarks is 30times faster than other known statistical power-minimization algorithms.
Murari Mani, Anirudh Devgan, Michael Orshansky, Yaping Zhan
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.1
2006 Gain-based technology mapping for minimum runtime leakage under input vector uncertainty
abstract
The gain-based technology mapping paradigm has been successfully employed for finding minimum delay and minimum area mappings. However, existing gain-based technology mappers fail to find circuits with minimal leakage power. In this paper, we introduce algorithms and modeling strategies that enable efficient gain-based technology mapping for minimum leakage power. The proposed algorithm is probability-aware and can rigorously take into account input state probability distribution to generate a circuit mapping with minimum leakage at a given percentile. Minimizing leakage at high percentiles is essential for minimizing peak leakage, which strongly influences the cooling limits and packaging costs.The algorithms have been tested on the ISCAS85 benchmark suite. Results indicate that the mappings produced by the new algorithm consume, on average 14% lesser leakage power at the 99% percentile with 1% delay penalty when compared with the approaches used in previous gain-based mappers [2]. Also, compared to a dominant-state mapper, our approach produces mappings with 15% lesser mean value of leakage. The new algorithm also reduces leakage at high quantiles by 12.8% on average, compared to a dominant state leakage minimizing mapper and the maximum savings can be as high as 21.49% across the benchmarks. Compared to the bin based mapper [10], the runtime of the algorithm is 15X faster.
Ashish Kumar Singh, Murari Mani, Ruchir Puri, Michael Orshansky
DAC2
2006 Application of fast SOCP based statistical sizing in the microprocessor design flow
abstract
In this paper we have applied statistical sizing in an industrial setting. Efficient implementation of the statistical sizing algorithm is achieved by utilizing a dedicated interior-point solution method. The new solution method is capable of solving a robust linear program, that is mapped onto a second-order conic program, an order of magnitude faster than the previously explored formulation. Our sizing algorithm is unique in that it represents variability in circuit delay analytically by formulating a robust linear program. The algorithm allows efficient and superior area minimization under statistically formulated timing yield constraints. In this paper, we also report the first use of statistical gate sizing in an industrial microprocessor design flow as a post-synthesis optimization step. Statistical delay models were generated for a 90nm CMOS standard cell library used in the design of an industrial low-power 32bit x86 microprocessor and practical issues related to iterative convergence were explored. When compared to the deterministic sizing, the area savings are 26% for the microprocessor module. The runtime of the algorithm is very low compared to existing statistical sizing methods, achieving an almost 15X speed-up, and scales as O(N1.5), where N is the circuit size.
Murari Mani, Mahesh Sharma, Michael Orshansky
ACM Great Lakes Symposium on VLSI1
2006 Joint design-time and post-silicon minimization of parametric yield loss using adjustable robust optimization
abstract
Parametric yield loss due to variability can be effectively reduced by both design-time optimization strategies and by adjusting circuit parameters to the realizations of variable parameters. The two levels of tuning operate within a single variability budget, and because their effectiveness depends on the magnitude and the spatial structure of variability their joint co-optimization is required. In this paper we develop a formal optimization algorithm for such co-optimization and link it to the control and measurement overhead via the formal notions of measurement and control complexity.
Murari Mani, Ashish Kumar Singh, Michael Orshansky
ICCAD1
2005 An efficient algorithm for statistical minimization of total power under timing yield constraints
abstract
Power minimization under variability is formulated as a rigorous statistical robust optimization program with a guarantee of power and timing yields. Both power and timing metrics are treated probabilistically. Power reduction is performed by simultaneous sizing and dual threshold voltage assignment. An extremely fast run-time is achieved by casting the problem as a second-order conic problem and solving it using efficient interior-point optimization methods. When compared to the deterministic optimization, the new algorithm, on average, reduces static power by 31% and total power by 17% without the loss of parametric yield. The run time on a variety of public and industrial benchmarks is 30X faster than other known statistical power minimization algorithms.
Murari Mani, Anirudh Devgan, Michael Orshansky
DAC1
2005 Statistical technology mapping for parametric yield
abstract
The increasing variability of process parameters leads to substantial parametric yield losses due to timing and leakage power constraints. Leakage power is especially affected by variability because of its exponential dependence on the highly varying transistor channel length and threshold voltage. This paper describes the new technology mapping algorithm that performs library binding to maximize parametric yield limited both by timing and power constraints. This is the first work that rigorously treats variability in circuit leakage power and delay within logic synthesis. Experiments show that moving the concerns about variability into logic synthesis is justified. The results on industrial and public benchmarks indicate that, on avenge, the reduction in stand-by power can be up to 26% and can be as high as 50% for some benchmarks. The reduction is purely due to a more effective decision-making of the mapping algorithm, and is achieved without a timing parametric yield loss. Alternatively, the algorithm leads to the delay reduction of up to 17%, with a 10% avenge possible reduction across the benchmarks, for stringent leakage constraints at a fixed yield level. Parametric yield at a fixed leakage target can also be substantially increased. In some examples, the statistical mapper leads to a 80% yield at the leakage value for which the deterministic mapper guaranteed only a 50% yield.
Ashish Kumar Singh, Murari Mani, Michael Orshansky
ICCAD2
2004 A New Statistical Optimization Algorithm for Gate Sizing
abstract
In this paper, we approach the gate sizing problem in VLSI circuits in the context of increasing variability of process and circuit parameters as technology scales into the nanometer regime. We present a statistical sizing approach that takes into account randomness in gate delays by formulating a robust linear program that can be solved efficiently. We demonstrate the efficiency and computational tractability of the proposed algorithm on the various ISCAS'85 benchmark circuits. Across the benchmarks, compared to the deterministic approach, the power savings range from 23-30% for the same timing target and the yield level, the average power saving being 28%. The runtime is reasonable, ranging from a few seconds to around 10 mins, and grows linearly.
Murari Mani, Michael Orshansky
ICCD1