Show simple item record

dc.contributor.advisorAbraham, Jacob A.en
dc.creatorKrishnamurthy, Narayananen
dc.date.accessioned2008-08-28T21:32:31Zen
dc.date.available2008-08-28T21:32:31Zen
dc.date.issued2003en
dc.identifierb56858978en
dc.identifier.urihttp://hdl.handle.net/2152/715en
dc.descriptiontexten
dc.description.abstractThe task of checking whether a circuit implementation satisfies an abstract specification, prior to manufacturing the circuit, is extremely important. This is because of the reliance on the abstract specification being predictive of silicon behavior. It is also important to know the exact conditions under which the prediction is guaranteed to be valid. This dissertation delves into the fundamental bottlenecks and issues in model extraction and the inherent difficulties in verifying equivalence of transistor circuit implementations with respect to higher-level specifications. A novel implementation verification methodology that is based on symbolic simulation is presented. In addition, the dissertation presents the general theory of automatic constraint generation that is required for a sound verification strategy and proposes an enhanced implementation verification methodology to eliminate gate/switch-level full-chip simulations. The practical aspects of developing a tool to dovetail into this methodology is also presented.
dc.format.mediumelectronicen
dc.language.isoengen
dc.rightsCopyright is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works.en
dc.subject.lcshMicroprocessors--Design and constructionen
dc.titleA design validation methodology for high performance microprocessorsen
dc.description.departmentElectrical and Computer Engineeringen
dc.identifier.oclc56208152en
dc.identifier.proqst3119627en
dc.type.genreThesisen
thesis.degree.departmentElectrical and Computer Engineeringen
thesis.degree.disciplineElectrical and Computer Engineeringen
thesis.degree.grantorThe University of Texas at Austinen
thesis.degree.levelDoctoralen
thesis.degree.nameDoctor of Philosophyen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record