An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern Generation
State justifcation is one of the most time-consuming tasks in sequential Automatic Test Pattern Generation (ATPG). For states that are difficult to justify, deterministic algorithms take significant CPU time without much success most of the time. In this work, we adopt a hybrid approach for state ju...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , , |
| Format: | article |
| Published: |
2001
|
| Subjects: | |
| Online Access: | https://eprints.kfupm.edu.sa/id/eprint/151/1/An_Iterative_Heuristic_for_State_Justification_in_Sequential_Automatic_Test_Pattern_Generation_GECCO2001.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1864513388180144128 |
|---|---|
| author | El-Maleh, Aiman H. |
| author2 | Sait, Sadiq M. Shazli, Syed Z. unknown |
| author2_role | author author author |
| author_facet | El-Maleh, Aiman H. Sait, Sadiq M. Shazli, Syed Z. unknown |
| author_role | author |
| dc.creator.none.fl_str_mv | El-Maleh, Aiman H. Sait, Sadiq M. Shazli, Syed Z. unknown |
| dc.date.none.fl_str_mv | 2001 2020 |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | https://eprints.kfupm.edu.sa/id/eprint/151/1/An_Iterative_Heuristic_for_State_Justification_in_Sequential_Automatic_Test_Pattern_Generation_GECCO2001.pdf (2001) An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern Generation. Genetic and Evolutionary Computation Conference (GECCO). |
| dc.language.none.fl_str_mv | en |
| dc.relation.none.fl_str_mv | https://eprints.kfupm.edu.sa/id/eprint/151/ |
| dc.rights.*.fl_str_mv | info:eu-repo/semantics/openAccess |
| dc.subject.none.fl_str_mv | Computer |
| dc.title.none.fl_str_mv | An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern Generation |
| dc.type.none.fl_str_mv | Article PeerReviewed info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/article |
| description | State justifcation is one of the most time-consuming tasks in sequential Automatic Test Pattern Generation (ATPG). For states that are difficult to justify, deterministic algorithms take significant CPU time without much success most of the time. In this work, we adopt a hybrid approach for state justification. A new method based on Genetic Algorithms is proposed, in which we engineer state justifcation sequences vector by vector. The proposed method is compared with previous GA-based approaches. Significant improvements have been obtained for ISCAS benchmark circuits in terms of state coverage and CPU time. |
| eu_rights_str_mv | openAccess |
| format | article |
| id | KFUPM_90222d02b7c0e16c326002b837fa6bc4 |
| identifier_str_mv | (2001) An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern Generation. Genetic and Evolutionary Computation Conference (GECCO). |
| language_invalid_str_mv | en |
| network_acronym_str | KFUPM |
| network_name_str | King Fahd University of Petroleum and Minerals |
| oai_identifier_str | oai::151 |
| publishDate | 2001 |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| spelling | An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern GenerationEl-Maleh, Aiman H.Sait, Sadiq M.Shazli, Syed Z.unknownComputerState justifcation is one of the most time-consuming tasks in sequential Automatic Test Pattern Generation (ATPG). For states that are difficult to justify, deterministic algorithms take significant CPU time without much success most of the time. In this work, we adopt a hybrid approach for state justification. A new method based on Genetic Algorithms is proposed, in which we engineer state justifcation sequences vector by vector. The proposed method is compared with previous GA-based approaches. Significant improvements have been obtained for ISCAS benchmark circuits in terms of state coverage and CPU time.20012020ArticlePeerReviewedinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttps://eprints.kfupm.edu.sa/id/eprint/151/1/An_Iterative_Heuristic_for_State_Justification_in_Sequential_Automatic_Test_Pattern_Generation_GECCO2001.pdf (2001) An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern Generation. Genetic and Evolutionary Computation Conference (GECCO). enhttps://eprints.kfupm.edu.sa/id/eprint/151/info:eu-repo/semantics/openAccessoai::1512019-11-01T13:22:37Z |
| spellingShingle | An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern Generation El-Maleh, Aiman H. Computer |
| status_str | publishedVersion |
| title | An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern Generation |
| title_full | An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern Generation |
| title_fullStr | An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern Generation |
| title_full_unstemmed | An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern Generation |
| title_short | An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern Generation |
| title_sort | An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern Generation |
| topic | Computer |
| url | https://eprints.kfupm.edu.sa/id/eprint/151/1/An_Iterative_Heuristic_for_State_Justification_in_Sequential_Automatic_Test_Pattern_Generation_GECCO2001.pdf |