Sie sind hier:
technical background. After a practical example of the application of SAT in the domain of circuit testing, the classical DPLL algorithm for solving the problem will be discussed. Afterwards, recent developments
Bereich: SG
the realization of digital circuits was purely design-centered, i.e. ensuring the quality through testing and verification was essentially considered as a post-processing step. To this end, mainly approaches