Lectures:
Diagnostics fundamental conceptions. Models of fault.
Generating tests for digital circuits. Sensitive path. Method of critical path. Boolean
differences.
Functional testing.
DFT - Design for test
Diagnostic instrument.
BST - Boundary Scan Testing.
Reliability fundamental conceptions.
Calculation of reliability. Serial, parallel model. State diagram.
Markovski model.
Reserve of systems, static, dynamic and hybrid.
Fault tolerant systems.
Reliability check.
System quality, QPL and QML.
Coding fundamental conceptions.
Linear code. Hamming code.
Cyclic code.
Convolution code.
Exercises:
Faults model. Safety training.
Generating test using sensitive path.
Generating test using critical path.
Generating test using Boolean difference.
Generating test using D-algorithm.
Minimization of tests.
Calculation of reliability - serial and parallel model.
Calculation of reliability - state diagram.
Calculation of reliability - Markovski model.
Calculation of reliability - Markovski model.
Reliability checking.
Linear code.
Compresion of data
Projects:
Generating tests.
Reliability checking.
Contol matrix of linear code.
Diagnostics fundamental conceptions. Models of fault.
Generating tests for digital circuits. Sensitive path. Method of critical path. Boolean
differences.
Functional testing.
DFT - Design for test
Diagnostic instrument.
BST - Boundary Scan Testing.
Reliability fundamental conceptions.
Calculation of reliability. Serial, parallel model. State diagram.
Markovski model.
Reserve of systems, static, dynamic and hybrid.
Fault tolerant systems.
Reliability check.
System quality, QPL and QML.
Coding fundamental conceptions.
Linear code. Hamming code.
Cyclic code.
Convolution code.
Exercises:
Faults model. Safety training.
Generating test using sensitive path.
Generating test using critical path.
Generating test using Boolean difference.
Generating test using D-algorithm.
Minimization of tests.
Calculation of reliability - serial and parallel model.
Calculation of reliability - state diagram.
Calculation of reliability - Markovski model.
Calculation of reliability - Markovski model.
Reliability checking.
Linear code.
Compresion of data
Projects:
Generating tests.
Reliability checking.
Contol matrix of linear code.