๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Using SAT-based techniques in power estimation

โœ Scribed by Assim Sagahyroon; Fadi A. Aloul

Book ID
104051316
Publisher
Elsevier Science
Year
2007
Tongue
English
Weight
416 KB
Volume
38
Category
Article
ISSN
0026-2692

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Bounded delay timing analysis and power
Bounded delay timing analysis and power estimation using SAT
โœ Suchismita Roy; P.P. Chakrabarti; Pallab Dasgupta ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 234 KB

This paper presents a satisfiability based approach that can be used for accurate estimation of both the critical delay and dynamic transition power consumption of circuits using an event propagation model. The accuracy of the model depends on the accuracy of the gate delays. The speed and efficienc

Robust error-in-variables estimation usi
Robust error-in-variables estimation using nonlinear programming techniques
โœ In-Won Kim; Michael J. Liebman; Thomas F. Edgar ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› American Institute of Chemical Engineers ๐ŸŒ English โš– 686 KB

For systems described by algebraic or differential equation models where all variables are subject to error, the error-in-variables method (EVM) for parameter estimation has been shown to be superior to standard least-squares techniques. Previous EVM algorithms were developed assuming linear (or lin