{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/20975"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/20975","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Automatic test generation for bit-serial VLSI digital signal processors","abstract":"Linear digital signal processors, commonly implemented using silicon compilers in bit-serial architecture, are very difficult to test for manufacturing defects due to deep sequentiality, low controllability and observability, and high latency. A novel hierarchical testing approach has been proposed, integrating three automatic test generators. FEAST (Functional Extractor and Sequential Test generator) operates at the high level, where the circuit is described as an interconnection of arithmetic modules. SEAT (Sequential Array Test generator) and CREST (Constrained Sequential Test generator) operate at the low level description of the individual modules.","abstract_html":"Linear digital signal processors, commonly implemented using silicon compilers in bit-serial architecture, are very difficult to test for manufacturing defects due to deep sequentiality, low controllability and observability, and high latency. A novel hierarchical testing approach has been proposed, integrating three automatic test generators. FEAST (Functional Extractor and Sequential Test generator) operates at the high level, where the circuit is described as an interconnection of arithmetic modules. SEAT (Sequential Array Test generator) and CREST (Constrained Sequential Test generator) operate at the low level description of the individual modules.","abstract_has_math":false,"creators":["Roy, Rabindra Kumar"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Electrical Engineering","degree_department":null,"school":null,"contributors":["Patel, Janak H."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2011,"date_issued":"2011-05-07T12:54:41Z","date_published":"2011-05-07T12:54:41Z","updated_at":"2026-07-22T22:25:17Z","subjects":["Engineering, Electronics and Electrical"],"languages":["eng"],"rights":["Copyright 1992 Roy, Rabindra Kumar"],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["AAI9236586","(UMI)AAI9236586"],"render_values":[{"text":"AAI9236586","href":null,"code":true},{"text":"(UMI)AAI9236586","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/20975","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Patel, Janak H."]},{"key":"dc:creator","label":"Author","values":["Roy, Rabindra Kumar"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2011-05-07T12:54:41Z","10000-01-01","1992"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Electrical Engineering"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Engineering, Electronics and Electrical"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 1992 Roy, Rabindra Kumar"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["AAI9236586","(UMI)AAI9236586","http://hdl.handle.net/2142/20975"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Linear digital signal processors, commonly implemented using silicon compilers in bit-serial architecture, are very difficult to test for manufacturing defects due to deep sequentiality, low controllability and observability, and high latency. A novel hierarchical testing approach has been proposed, integrating three automatic test generators. FEAST (Functional Extractor and Sequential Test generator) operates at the high level, where the circuit is described as an interconnection of arithmetic modules. SEAT (Sequential Array Test generator) and CREST (Constrained Sequential Test generator) operate at the low level description of the individual modules.","FEAST extracts various matrices corresponding to the state space description of the circuit, and the functional constraints that must be satisfied the inputs of the module under test (MUT). The constraints and the description of the MUT are passed to CREST, which generates tests in the binary domain. FEAST translates these tests into the numerical domain to find the numbers to be applied at the primary inputs to achieve the tests at the inputs of the MUT. Since the binary representation of these numbers are inexact due to truncation and roundoff, a novel search-based correction scheme is employed to get the exact solution in binary.","SEAT operates on array structures and attempts to generate repetitive tests to apply comprehensive checking experiments to finite state machines within individual cells of the array. SEAT has been very successful on one-dimensional sequential arrays and outperformed an efficient automatic gate-level test generator.","The performance of FEAST and CREST was compared with two other approaches, namely automatic test generation at gate level and random test pattern generation for several large circuits. The new techniques recorded the best combination of all of the performance metrics, namely, fault coverage, test efficiency, test length, and computational time.","Made available in DSpace on 2011-05-07T12:54:41Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9236586.pdf: 4165864 bytes, checksum: adce8df56c96ac2a71edd653585661dd (MD5) Previous issue date: 1992","Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T14:47:38Z Item is restricted indefinitely.","Restriction data tranferred 2014-07-01T11:21:31-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission","ETDs are only available to UIUC Users without author permission","U of I Only"]},{"key":"dc:title","label":"Title","values":["Automatic test generation for bit-serial VLSI digital signal processors"]}]}],"canonical_facts":{"dc:contributor":["Patel, Janak H."],"dc:creator":["Roy, Rabindra Kumar"],"dc:date":["2011-05-07T12:54:41Z","10000-01-01","1992"],"dc:description":["Linear digital signal processors, commonly implemented using silicon compilers in bit-serial architecture, are very difficult to test for manufacturing defects due to deep sequentiality, low controllability and observability, and high latency. A novel hierarchical testing approach has been proposed, integrating three automatic test generators. FEAST (Functional Extractor and Sequential Test generator) operates at the high level, where the circuit is described as an interconnection of arithmetic modules. SEAT (Sequential Array Test generator) and CREST (Constrained Sequential Test generator) operate at the low level description of the individual modules.","FEAST extracts various matrices corresponding to the state space description of the circuit, and the functional constraints that must be satisfied the inputs of the module under test (MUT). The constraints and the description of the MUT are passed to CREST, which generates tests in the binary domain. FEAST translates these tests into the numerical domain to find the numbers to be applied at the primary inputs to achieve the tests at the inputs of the MUT. Since the binary representation of these numbers are inexact due to truncation and roundoff, a novel search-based correction scheme is employed to get the exact solution in binary.","SEAT operates on array structures and attempts to generate repetitive tests to apply comprehensive checking experiments to finite state machines within individual cells of the array. SEAT has been very successful on one-dimensional sequential arrays and outperformed an efficient automatic gate-level test generator.","The performance of FEAST and CREST was compared with two other approaches, namely automatic test generation at gate level and random test pattern generation for several large circuits. The new techniques recorded the best combination of all of the performance metrics, namely, fault coverage, test efficiency, test length, and computational time.","Made available in DSpace on 2011-05-07T12:54:41Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9236586.pdf: 4165864 bytes, checksum: adce8df56c96ac2a71edd653585661dd (MD5) Previous issue date: 1992","Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T14:47:38Z Item is restricted indefinitely.","Restriction data tranferred 2014-07-01T11:21:31-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission","ETDs are only available to UIUC Users without author permission","U of I Only"],"dc:identifier":["AAI9236586","(UMI)AAI9236586","http://hdl.handle.net/2142/20975"],"dc:language":["eng"],"dc:rights":["Copyright 1992 Roy, Rabindra Kumar"],"dc:subject":["Engineering, Electronics and Electrical"],"dc:title":["Automatic test generation for bit-serial VLSI digital signal processors"],"dc:type":["text"],"thesis:degree_discipline":["Electrical Engineering"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:17Z"}