• Publications
  • Influence
Chaff: engineering an efficient SAT solver
TLDR
This paper describes a new SAT solver, Chaff, which achieves significant performance gains through careful engineering of all aspects of the search-especially a particularly efficient implementation of Boolean constraint propagation (BCP) and a novel low overhead decision strategy. Expand
  • 3,566
  • 455
  • PDF
Evaluating the security of logic encryption algorithms
TLDR
We present a SAT-based algorithm which allows an attacker to “decrypt” an encrypted netlist using a small number of carefully-selected input patterns and their corresponding output observations. Expand
  • 354
  • 109
  • PDF
Efficient conflict driven learning in a Boolean satisfiability solver
TLDR
In this paper, we generalize various conflict driven learning strategies in terms of different partitioning schemes of the implication graph and propose an array of new learning schemes. Expand
  • 868
  • 73
  • PDF
Power analysis of embedded software: a first step towards software power minimization
TLDR
A power analysis technique is developed that has been applied to two commercial microprocessors-Intel 486DX2 and Fujitsu SPARClite 934 to evaluate the power cost of embedded software. Expand
  • 1,116
  • 71
Performance analysis of embedded software using implicit path enumeration
  • Y. S. Li, S. Malik
  • Computer Science
  • IEEE Trans. Comput. Aided Des. Integr. Circuits…
  • 1 December 1997
TLDR
This paper examines the problem of determining the extreme (best and worst) case bounds on the running time of a given program on a given processor. Expand
  • 280
  • 52
On Solving the Partial MAX-SAT Problem
TLDR
We propose two solvers for the Partial MAX-SAT problem using a contemporary SAT solver. Expand
  • 244
  • 36
System-Level Design: Orthogonalization of Concerns and Platform-Based Design
System-level design issues become critical as implementation technology evolves toward increasingly complex integrated circuits and the time-to-market pressure continues relentlessly. To cope withExpand
  • 789
  • 30
  • PDF
Instruction level power analysis and optimization of software
TLDR
This paper describes an alternative, measurement based instruction level power analysis approach that provides an accurate and practical way of quantifying this cost. Expand
  • 481
  • 30
  • PDF
Performance Analysis of Embedded Software Using Implicit Path Enumeration
TLDR
This paper examines the problem of determining the bound on the running time of a given program on a given processor. Expand
  • 378
  • 26
  • PDF
Algorithms for discrete function manipulation
TLDR
An investigation was made of the analogous graph structure for representing and manipulating discrete variable problems, the multi-valued decision diagram (MDD). Expand
  • 296
  • 26
...
1
2
3
4
5
...