Test pattern generation using Boolean proof engines

Test pattern generation using Boolean proof engines
Details
- OL Work ID
- OL15896297W
Subjects
Computer algorithmsBoolean AlgebraIntegrierte SchaltungVerificationAutomatic test equipmentATPGHardwareverifikationIntegrated circuitsAlgebra, booleanBinary system (mathematics)Computer software, verification