{"id":{"repo_id":"vt","oai_identifier":"oai:vtechworks.lib.vt.edu:10919/80044"},"canonical_url":"https://search.dev.ndltd.org/etd/vt/oai:vtechworks.lib.vt.edu:10919/80044","repository":{"repo_id":"vt","name":"Virginia Tech","base_url":"https://vtechworks.lib.vt.edu/oai/request"},"display":{"title":"Recognition of logic blocks in CMOS circuits","abstract":"A Prolog based approach towards the recognition of logic functional blocks in CMOS circuits is described in this thesis. A transistor level description of the circuit is assumed to be available. Predefined gates and logic blocks are extracted from such a description. This recognition procedure is a step towards raising the level of description of a network. An extracted block level description can be used to verify the correctness of the implemented logic. The approach described here uses a circuit partitioning technique to divide a given circuit into smaller subcircuits. This is followed by the extraction of logic expressions at the output nodes of subcircuits. From these logic expressions, gates are recognized. Functional blocks in the circuit are recognized based on rules which define such blocks in terms of their structural configuration.","abstract_html":"A Prolog based approach towards the recognition of logic functional blocks in CMOS circuits is described in this thesis. A transistor level description of the circuit is assumed to be available. Predefined gates and logic blocks are extracted from such a description. This recognition procedure is a step towards raising the level of description of a network. An extracted block level description can be used to verify the correctness of the implemented logic. The approach described here uses a circuit partitioning technique to divide a given circuit into smaller subcircuits. This is followed by the extraction of logic expressions at the output nodes of subcircuits. From these logic expressions, gates are recognized. Functional blocks in the circuit are recognized based on rules which define such blocks in terms of their structural configuration.","abstract_has_math":false,"creators":["Bhasin, Inderpreet"],"institution":"Virginia Polytechnic Institute and State University","degree_name":"Master of Science","degree_level":"masters","degree_discipline":"Electrical Engineering","degree_department":"Electrical Engineering","school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":1988,"date_issued":"1988","date_published":"1988","updated_at":"2026-07-22T22:20:34Z","subjects":[],"languages":["en"],"rights":["In Copyright"],"rights_urls":["http://rightsstatements.org/vocab/InC/1.0/"],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/10919/80044","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.department","label":"Department","values":["Electrical Engineering"]},{"key":"dc:creator","label":"Author","values":["Bhasin, Inderpreet"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2017-11-09T20:41:32Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2017-11-09T20:41:32Z"]},{"key":"dc:date.issued","label":"Date","values":["1988"]},{"key":"dc:publisher","label":"Institution","values":["Virginia Polytechnic Institute and State University"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.dcmitype","label":"Dc Type Dcmitype","values":["Text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Electrical Engineering"]},{"key":"thesis:degree_level","label":"Degree Level","values":["masters"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Master of Science"]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["Virginia Polytechnic Institute and State University"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["In Copyright"]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://rightsstatements.org/vocab/InC/1.0/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/10919/80044"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["A Prolog based approach towards the recognition of logic functional blocks in CMOS circuits is described in this thesis. A transistor level description of the circuit is assumed to be available. Predefined gates and logic blocks are extracted from such a description. This recognition procedure is a step towards raising the level of description of a network. An extracted block level description can be used to verify the correctness of the implemented logic. The approach described here uses a circuit partitioning technique to divide a given circuit into smaller subcircuits. This is followed by the extraction of logic expressions at the output nodes of subcircuits. From these logic expressions, gates are recognized. Functional blocks in the circuit are recognized based on rules which define such blocks in terms of their structural configuration."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["Master of Science"]},{"key":"dc:format.mimetype","label":"Dc Format Mimetype","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Recognition of logic blocks in CMOS circuits"]}]}],"canonical_facts":{"dc:contributor.department":["Electrical Engineering"],"dc:creator":["Bhasin, Inderpreet"],"dc:date.accessioned":["2017-11-09T20:41:32Z"],"dc:date.available":["2017-11-09T20:41:32Z"],"dc:date.issued":["1988"],"dc:description.abstract":["A Prolog based approach towards the recognition of logic functional blocks in CMOS circuits is described in this thesis. A transistor level description of the circuit is assumed to be available. Predefined gates and logic blocks are extracted from such a description. This recognition procedure is a step towards raising the level of description of a network. An extracted block level description can be used to verify the correctness of the implemented logic. The approach described here uses a circuit partitioning technique to divide a given circuit into smaller subcircuits. This is followed by the extraction of logic expressions at the output nodes of subcircuits. From these logic expressions, gates are recognized. Functional blocks in the circuit are recognized based on rules which define such blocks in terms of their structural configuration."],"dc:description.degree":["Master of Science"],"dc:format.mimetype":["application/pdf"],"dc:identifier.uri":["http://hdl.handle.net/10919/80044"],"dc:language.iso":["en"],"dc:publisher":["Virginia Polytechnic Institute and State University"],"dc:rights":["In Copyright"],"dc:rights.uri":["http://rightsstatements.org/vocab/InC/1.0/"],"dc:title":["Recognition of logic blocks in CMOS circuits"],"dc:type":["Thesis"],"dc:type.dcmitype":["Text"],"thesis:degree_discipline":["Electrical Engineering"],"thesis:degree_level":["masters"],"thesis:degree_name":["Master of Science"],"thesis:institution_name":["Virginia Polytechnic Institute and State University"]},"updated_at":"2026-07-22T22:20:34Z"}