{"title":"An efficient test generation technique for sequential circuits with repetitive sub-circuits","authors":"Dhruva R. Chakrabarti, Ajai Jain","doi":"10.1109/ICVD.1996.489480","DOIUrl":null,"url":null,"abstract":"An efficient hierarchical testing algorithm for sequential circuits with repetitive sub-circuits has been proposed and implemented. This algorithm uses the bus fault model which helps in significant reduction of modeled circuit components and faults. The algorithm is significantly faster than conventional gate-level test generators for a class of sequential circuits since it attempts to generate test vectors in parallel. The algorithm resolves high-level incompatibility encountered during test generation whenever it is possible. This is done by unfolding the high-level model of the circuit and obtaining a loop in the corresponding state transition graph.","PeriodicalId":301389,"journal":{"name":"Proceedings of 9th International Conference on VLSI Design","volume":"14 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 9th International Conference on VLSI Design","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICVD.1996.489480","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
An efficient hierarchical testing algorithm for sequential circuits with repetitive sub-circuits has been proposed and implemented. This algorithm uses the bus fault model which helps in significant reduction of modeled circuit components and faults. The algorithm is significantly faster than conventional gate-level test generators for a class of sequential circuits since it attempts to generate test vectors in parallel. The algorithm resolves high-level incompatibility encountered during test generation whenever it is possible. This is done by unfolding the high-level model of the circuit and obtaining a loop in the corresponding state transition graph.