{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/21111"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/21111","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Functional models for MOS VLSI circuits","abstract":"In this dissertation, the use of extracted functional models in some typical Computer-Aided-Design applications for VLSI circuits is considered. A method for the automatic generation of functional models for switch- and gate-level circuits is presented. In addition, the use of these models is considered in four CAD applications: switch-level simulation, verification of transistor-level circuits, the initializability of synchronous sequential circuits, and Boolean matching.","abstract_html":"In this dissertation, the use of extracted functional models in some typical Computer-Aided-Design applications for VLSI circuits is considered. A method for the automatic generation of functional models for switch- and gate-level circuits is presented. In addition, the use of these models is considered in four CAD applications: switch-level simulation, verification of transistor-level circuits, the initializability of synchronous sequential circuits, and Boolean matching.","abstract_has_math":false,"creators":["Wehbeh, Jalal Anis"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Electrical Engineering","degree_department":null,"school":null,"contributors":["Saab, Daniel G."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2011,"date_issued":"2011-05-07T12:58:43Z","date_published":"2011-05-07T12:58:43Z","updated_at":"2026-07-22T22:25:17Z","subjects":["Engineering, Electronics and Electrical"],"languages":["eng"],"rights":["Copyright 1994 Wehbeh, Jalal Anis"],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["AAI9512591","(UMI)AAI9512591"],"render_values":[{"text":"AAI9512591","href":null,"code":true},{"text":"(UMI)AAI9512591","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/21111","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Saab, Daniel G."]},{"key":"dc:creator","label":"Author","values":["Wehbeh, Jalal Anis"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2011-05-07T12:58:43Z","10000-01-01","1994"]},{"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 1994 Wehbeh, Jalal Anis"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["AAI9512591","(UMI)AAI9512591","http://hdl.handle.net/2142/21111"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["In this dissertation, the use of extracted functional models in some typical Computer-Aided-Design applications for VLSI circuits is considered. A method for the automatic generation of functional models for switch- and gate-level circuits is presented. In addition, the use of these models is considered in four CAD applications: switch-level simulation, verification of transistor-level circuits, the initializability of synchronous sequential circuits, and Boolean matching.","For switch-level simulation, extracted models are used to speed up the simulation process in a hierarchical simulation environment. When extracted models are used to represent modules at different levels in the hierarchy a considerable amount of speedup can be achieved. This speedup can vary from about three times, when dc-connected components are represented by their functional models, to around nine or ten times, when models are used to represent modules at higher levels in the hierarchy.","For verification of transistor-level circuits, the model extraction routines are modified to generate a finite state machine description of the circuit. This description is then verified against another finite state machine description of the design based on formal methods for the verification of sequential circuits.","A new method for determining the initializability of a sequential circuit and for generating its initialization sequence is also presented. This method is based on the structural decomposition of the state subspace and can handle both logical (using X-value simulation) and functional initializabilities. In addition, the effect of using initialization sequences as pre-test sequences during automatic-test-pattern-generation (ATPG) is examined. Improved fault coverage is achieved, when the good and faulty circuits are initialized, by use of initialization sequences, prior to the generation of test vectors.","Finally, the use of extracted functional models for Boolean matching during technology mapping in a logic synthesis environment is considered. A method for generating signatures, to be used to reduce the number of possible library elements that match a given module in the circuit, is developed. The signature generated is also used for determining the input correspondence and for finding symmetric inputs. Results for generating these signatures for some typical circuits are also presented.","Made available in DSpace on 2011-05-07T12:58:43Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9512591.pdf: 4638657 bytes, checksum: 43ad651dada8b1efbc34a456d7ee3a98 (MD5) Previous issue date: 1994","Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T14:48:33Z Item is restricted indefinitely.","Restriction data tranferred 2014-07-01T11:22:00-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":["Functional models for MOS VLSI circuits"]}]}],"canonical_facts":{"dc:contributor":["Saab, Daniel G."],"dc:creator":["Wehbeh, Jalal Anis"],"dc:date":["2011-05-07T12:58:43Z","10000-01-01","1994"],"dc:description":["In this dissertation, the use of extracted functional models in some typical Computer-Aided-Design applications for VLSI circuits is considered. A method for the automatic generation of functional models for switch- and gate-level circuits is presented. In addition, the use of these models is considered in four CAD applications: switch-level simulation, verification of transistor-level circuits, the initializability of synchronous sequential circuits, and Boolean matching.","For switch-level simulation, extracted models are used to speed up the simulation process in a hierarchical simulation environment. When extracted models are used to represent modules at different levels in the hierarchy a considerable amount of speedup can be achieved. This speedup can vary from about three times, when dc-connected components are represented by their functional models, to around nine or ten times, when models are used to represent modules at higher levels in the hierarchy.","For verification of transistor-level circuits, the model extraction routines are modified to generate a finite state machine description of the circuit. This description is then verified against another finite state machine description of the design based on formal methods for the verification of sequential circuits.","A new method for determining the initializability of a sequential circuit and for generating its initialization sequence is also presented. This method is based on the structural decomposition of the state subspace and can handle both logical (using X-value simulation) and functional initializabilities. In addition, the effect of using initialization sequences as pre-test sequences during automatic-test-pattern-generation (ATPG) is examined. Improved fault coverage is achieved, when the good and faulty circuits are initialized, by use of initialization sequences, prior to the generation of test vectors.","Finally, the use of extracted functional models for Boolean matching during technology mapping in a logic synthesis environment is considered. A method for generating signatures, to be used to reduce the number of possible library elements that match a given module in the circuit, is developed. The signature generated is also used for determining the input correspondence and for finding symmetric inputs. Results for generating these signatures for some typical circuits are also presented.","Made available in DSpace on 2011-05-07T12:58:43Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9512591.pdf: 4638657 bytes, checksum: 43ad651dada8b1efbc34a456d7ee3a98 (MD5) Previous issue date: 1994","Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T14:48:33Z Item is restricted indefinitely.","Restriction data tranferred 2014-07-01T11:22:00-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":["AAI9512591","(UMI)AAI9512591","http://hdl.handle.net/2142/21111"],"dc:language":["eng"],"dc:rights":["Copyright 1994 Wehbeh, Jalal Anis"],"dc:subject":["Engineering, Electronics and Electrical"],"dc:title":["Functional models for MOS VLSI circuits"],"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"}