Recent advances in Boolean satisfiability have made it an attractive engine for solving many digital very-large-scaleintegration design problems. Although useful in many stages of the design cycle, fault diagnosis and logic debugging have not been addressed within a satisfiability-based framework. This work proposes a novel Boolean satisfiability-based method for multiple-fault diagnosis and multiple-design-error diagnosis in combinational and sequential circuits. A number of heuristics are presented that keep the method memory and run-time efficient. An extensive suite of experiments on large circuits corrupted with different types of faults and errors confirm its robustness and practicality. They also suggest that satisfiability captures significant characteristics of the problem of diagnosis and encourage novel research in satisfiability-based diagnosis as a complementary process to design verification.

No abstract

No abstract

Recent advances in Boolean satisfiability have made it an attractive engine for solving many digital VLSI design problems such as verification, model checking, optimization and test generation. Fault diagnosis and logic debugging have not been addressed by existing satisfiability-based solutions. This paper attempts to bridge this gap by proposing a satisfiability-based solution to these problems. The proposed formulation is intuitive and easy to implement. It shows that satisfiability captures significant problem characteristics and it offers different trade-offs. It also provides new opportunities for satisfiability-based diagnosis tools and diagnosis-specific satisfiability algorithms. Theory and experiments validate the claims and demonstrate its potential.

We report how analysis of the spatial and temporal optical responses of liquid crystal (LC) films to targeted gases, when performed using a machine learning methodology, can advance the sensing of gas mixtures and provide important insights into the physical processes that underlie the sensor response. We develop the methodology using O3 and Cl2 mixtures (representative of an important class of analytes) and LCs supported on metal perchlorate-decorated surfaces as a model system. Although O3 and Cl2 both diffuse through LC films and undergo redox reactions with the supporting metal perchlorate surfaces to generate similar initial and final optical states of the LCs, we show that a three-dimensional convolutional neural network can extract feature information that is encoded in the spatiotemporal color patterns of the LCs to detect the presence of both O3 and Cl2 species in mixtures and to quantify their concentrations. Our analysis reveals that O3 detection is driven by the transition time over which the brightness of the LC changes, while Cl2 detection is driven by color fluctuations that develop late in the optical response of the LC. We also show that we can detect the presence of Cl2 even when the concentration of O3 is orders of magnitude greater than the Cl2 concentration. The proposed methodology is generalizable to a wide range of analytes, reactive surfaces, and LCs and has the potential to advance the design of portable LC monitoring devices (e.g., wearable devices) for analyzing gas mixtures using spatiotemporal color fluctuations.