About this document

DNF Test in Digital Circuit Verification by Rahul is a document available to read on EtoBox.

Verification of digital circuits and generation of test patterns for testing microprocessors in fabrication require converting logic expressions to conjunctive normal form (CNF) and disjunctive normal form (DNF). CNF and DNF are also useful for special proof systems and resolution proof.

Author

Rahul

Language

EN