Recognition of logic blocks in CMOS circuits

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.

Name thesis:degree_name

Master of Science

Level thesis:degree_level

masters

Discipline thesis:degree_discipline

Electrical Engineering

Department dc:contributor.department

Electrical Engineering

Grantor dc:publisher

Virginia Polytechnic Institute and State University

Year dc:date.issued

1988

Author dc:creator

• Bhasin, Inderpreet

Statement dc:rights

• In Copyright

Licence dc:rights.uri

• http://rightsstatements.org/vocab/InC/1.0/

Language dc:language.iso

en

Handle dc:identifier.uri

http://hdl.handle.net/10919/80044

OAI identifier oai:identifier

oai:vtechworks.lib.vt.edu:10919/80044