Three-step sign test method combined with odd-even check
A technology of parity check and symptom, which is applied in the field of third-order symptom test combined with parity check, can solve the problems of complex circuit fault test, circuit fault detection is more difficult, and circuit design is complicated, so as to improve fault coverage, The effect of reducing resource and time overhead and reducing test overhead
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment 1
[0070] In this embodiment, the method of the third-order symptom test combined with the parity check is based on Microsoft visual studio 2008, and is implemented with the C++ object-oriented language as the programming language.
[0071] image 3 As shown, the method for the third-order symptom test in combination with the parity check comprises the following steps, and is characterized in that,
[0072] Step 1, read the corresponding Boolean expression of the circuit from the text;
[0073] Step 2, analyze Boolean expressions, generate corresponding intermediate data, and perform parity check;
[0074] Included in said step 2, the Boolean expression for the circuit, replacing the general exhaustive (input 2 n Combination) method, disjunctive, and then get disjunctive normal form (DNF). The parity of the circuit is judged according to the obtained disjunction paradigm.
[0075] Step 3 is based on the parity check, and according to the intermediate data generate...
Embodiment 2
[0089] This embodiment is basically the same as Embodiment 1, and the special features are as follows:
[0090] The boolean expression: . First perform a parity check on it to get:
[0091]
[0092] is an odd function, therefore, the circuit can be obtained N For symptom-testable circuits, use first-order symptom testing for fault detection. In this way, pre-checking the circuit using the parity check can effectively reduce the calculation amount of the test and the test time.
Embodiment 3
[0094] This embodiment is basically the same as Embodiment 1, and the special features are as follows:
[0095] The boolean expression:
[0096] a) According to the definition of parity test, we can get:
[0097]
[0098] It can be obtained that the circuit is an even function, so it is necessary to continue to make a testable judgment on the circuit.
[0099] b) According to the definition of the first-order symptom test, variables can be extracted:
[0100]
[0101] At the same time, you can get:
[0102] Unpredictable for first-order symptoms;
[0103] c) Carry out second-order symptom judgment on the circuit and extract variables:
[0104]
[0105] At the same time, you can get: ,
[0106] The circuit is still untestable.
[0107] d) After the third-order symptom judgment of the circuit, it can be obtained
[0108]
[0109] At the same time, after calculation, we get:
[0110]
[0111] At this time, after using the third-order symptom judgment,...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com