Boolean expressions are major focus of specifications and they are very much prone to introduction of faults, this survey presents various Boolean specification based testing techniques, and covers more than 30 papers for the same. The various Boolean specification based testing techniques like Cause effect graph, fosters strategy, meaningful impact strategy, Branch Operator Strategy (BOR), Mod...

The growing complexity of hardware devices being developed and increasing timeto-market constraints have scaled up the risk of designing bug-affected devices, thus increasing interest in formal design techniques. This approach considerably improves early error detection, giving good guarantees on the effectiveness of the devices produced. Design requires techniques to be provided to synthesise ...