Automatic generation of test instructions for path delay faults based-on stuck-at fault in processor cores using assignment decision diagram
This paper proposes a satisfiability-based automatic test instruction program generation to test the path delay faults using stuck-at fault in processor cores. Pre-computed test vectors are applied using the test instructions during normal processor execution. The proposed framework uses the assignm...
| Main Authors: | Shaheen, A.-U.-R., Hussin, F.A., Hamid, N.H., Ali, N.B.Z. |
|---|---|
| Format: | Conference or Workshop Item |
| Institution: | Universiti Teknologi Petronas |
| Record Id / ISBN-0: | utp-eprints.32104 / |
| Published: |
IEEE Computer Society
2014
|
| Online Access: |
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84906350466&doi=10.1109%2fICIAS.2014.6869530&partnerID=40&md5=4acc1a9593a3b00bf33b65139d9313d0 http://eprints.utp.edu.my/32104/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: |
This paper proposes a satisfiability-based automatic test instruction program generation to test the path delay faults using stuck-at fault in processor cores. Pre-computed test vectors are applied using the test instructions during normal processor execution. The proposed framework uses the assignment decision diagram (ADD) which represents the structural description of the register transfer level (RTL) circuit to extract the paths. ADD representation and instruction set architecture (ISA) information eliminates the paths that are untestable by the instructions during path extraction. The satisfiability (SAT)-solver is used to generate the sequence from conjunctive normal form (CNF) to find the justification/propagation paths. Test sequence is mapped to ISA to generate the test instruction program. A parwan processor module is used to validate our approach. © 2014 IEEE. |
|---|