Counter Example Specification In Fast Boolean Comparison
Original Publication Date: 1982-Oct-01
Included in the Prior Art Database: 2005-Feb-10
The ESP (Equivalent Sets of Partials) feature of a DBA (Differential Boolean Analyzer) program provides faster analysis of major classes of functions than previous systems while identifying at least some of the counter examples (if there are any). Unfortunately, invocation of ESP may result in the omission of many counter examples. This limitation may be overcome by providing a technique for the generation of all counter examples under ESP without compromising performance by using an indirect notation which is directly compatible with the ESP feature of DBA and which allows effective and concise presentation of all counter examples of a function.