Sciweavers

59 search results - page 1 / 12
» Design diagnosis using Boolean satisfiability
Sort
View
ASPDAC
2004
ACM
77views Hardware» more  ASPDAC 2004»
14 years 2 months ago
Design diagnosis using Boolean satisfiability
Alexander Smith, Andreas G. Veneris, Anastasios Vi...
ECAI
2008
Springer
14 years 16 days ago
Incremental Diagnosis of DES by Satisfiability
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
Alban Grastien, Anbulagan
SAT
2007
Springer
126views Hardware» more  SAT 2007»
14 years 4 months ago
Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach
Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses sensor deplo...
Fadi A. Aloul, Nagarajan Kandasamy
DAC
2006
ACM
14 years 11 months ago
Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...
Jin S. Zhang, Alan Mishchenko, Robert K. Brayton, ...
INDOCRYPT
2003
Springer
14 years 4 months ago
Improved Cost Function in the Design of Boolean Functions Satisfying Multiple Criteria
We develop an improved cost function to be used in simulated annealing followed by hill-climbing to find Boolean functions satisfying multiple desirable criteria such as high nonli...
Selçuk Kavut, Melek D. Yücel