Abstract
Since there are a lot of exclusive OR operations in Boolean difference algorithm, especially in solving high-order difference equation, a kind of test generation simplified method with constraint conditions is proposed. By analyzing the Boolean difference algorithm,the result obtained was that Boolean functionchanges with variables, so Boolean difference equations can be expressed into identity. To make faults propagate to output, the constraint conditions should be put, so test patterns can be obtained only by solving the identity and constraint conditions without exclusive OR operations in this algorithm. By examples, it has been proved that simplified algorithm is correct and simple, and it is verified that test patterns can detect given faults by VB (Visual Basic) simulation.
Original language | English |
---|---|
Pages (from-to) | 348-352 |
Number of pages | 5 |
Journal | Dianji yu Kongzhi Xuebao/Electric Machines and Control |
Volume | 12 |
Issue number | 3 |
State | Published - May 2008 |
Externally published | Yes |
Keywords
- Boolean difference
- Combinational logic circuit
- Constraint condition
- Test generation algorithm